Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Description Logic Rules + (Description Logic Rules)
- Description Logic Terminology + (Description Logic Terminology)
- Description Logic reasoning for Semantic Web Ontologies – Extended abstract + (Description Logic reasoning for Semantic Web Ontologies – Extended abstract)
- Description Logic with Abstraction and Refinement + (Description Logic with Abstraction and Refinement)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics + (Description Logics)
- Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property + (Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property)
- Description Logics That Count, and What They Can and Cannot Count + (Description Logics That Count, and What They Can and Cannot Count)
- Description Logics and the Two-Variable Fragment + (Description Logics and the Two-Variable Fragment)
- Description Logics as Ontology Languages for the Semantic Web + (Description Logics as Ontology Languages for the Semantic Web)
- Description Logics for Ontologies + (Description Logics for Ontologies)
- Description Logics for the Representation of Aggregated Objects + (Description Logics for the Representation of Aggregated Objects)
- Description Logics for the Semantic Web + (Description Logics for the Semantic Web)
- Description Logics of Context with Rigid Roles Revisited + (Description Logics of Context with Rigid Roles Revisited)
- Description Logics over Lattices with Multi-valued Ontologies + (Description Logics over Lattices with Multi-valued Ontologies)
- Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) + (Description Logics that Count, and What They Can and Cannot Count (Extended Abstract))
- Description Logics with Aggregates and Concrete Domains, Part II (extended) + (Description Logics with Aggregates and Concrete Domains, Part II (extended))
- Description Logics with Aggregates and Concrete Domains + (Description Logics with Aggregates and Concrete Domains)
- Description Logics with Aggregates and Concrete Domains + (Description Logics with Aggregates and Concrete Domains)
- Description Logics with Aggregates and Concrete Domains + (Description Logics with Aggregates and Concrete Domains)
- Description Logics with Concrete Domains and Aggregation + (Description Logics with Concrete Domains and Aggregation)
- Description Logics with Concrete Domains and Functional Dependencies + (Description Logics with Concrete Domains and Functional Dependencies)
- Description Logics with Concrete Domains and Functional Dependencies + (Description Logics with Concrete Domains and Functional Dependencies)
- Description Logics with Concrete Domains—A Survey + (Description Logics with Concrete Domains—A Survey)
- Description Logics with Concrete Domains—A Survey + (Description Logics with Concrete Domains—A Survey)
- Description Logics with Symbolic Number Restrictions + (Description Logics with Symbolic Number Restrictions)
- Description Logics with Symbolic Number Restrictions + (Description Logics with Symbolic Number Restrictions)
- Description of Modules at the TUD + (Description of Modules at the TUD)
- Description of Modules at the TUD + (Description of Modules at the TUD)
- Description of Modules for academic year 2009/10 + (Description of Modules for academic year 2009/10)
- Descriptional Complexity of Generalized Forbidding Grammars + (Descriptional Complexity of Generalized Forbidding Grammars)
- Descriptional Complexity of Grammars Regulated by Context Conditions + (Descriptional Complexity of Grammars Regulated by Context Conditions)
- Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen + (Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen)
- Descriptional complexity of multi-parallel grammars + (Descriptional complexity of multi-parallel grammars)
- Descriptional complexity of semi-conditional grammars + (Descriptional complexity of semi-conditional grammars)
- Descriptions in the Fluent Calculus + (Descriptions in the Fluent Calculus)
- Design and Evaluation of Parallel Hashing over Large-scale Data + (Design and Evaluation of Parallel Hashing over Large-scale Data)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments)
- Design and Results of the Second International Competition on Computational Models of Argumentation + (Design and Results of the Second International Competition on Computational Models of Argumentation)
- Design and Verification of Systems with Exogenous Coordination Using Vereofy + (Design and Verification of Systems with Exogenous Coordination Using Vereofy)
- Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance + (Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance)
- Design and results of the second international competition on computational models of argumentation + (Design and results of the second international competition on computational models of argumentation)
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks + (Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks)
- Detecting Cardinality Constraints in CNF + (Detecting Cardinality Constraints in CNF)
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs)
- Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics + (Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (Detecting Non-Existence of Finite Universal Models for Existential Rules)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (Detecting Non-Existence of Finite Universal Models for Existential Rules)
- Detecting Synonymous Properties by Shared Data-driven Definitions + (Detecting Synonymous Properties by Shared Data-driven Definitions)