Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)