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 Terminology  + (Description Logic Terminology)
• Description Logic reasoning for Semantic Web Ontologies – Extended abstract  + (Description Logic reasoning for Semantic Web Ontologies – Extended abstract)
• Science of Computational Logic  + (Description Logic, Sheet 1)
• Science of Computational Logic  + (Description Logic, Sheet 1, Equational Logic Sheet)
• Description Logics  + (Description Logics)
• Description Logics  + (Description Logics)
• Description Logics  + (Description Logics)
• Description Logics  + (Description Logics)
• Foundations of Knowledge Representation  + (Description Logics - Syntax and Semantics II)
• 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)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Reasoning with Data)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics I)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• Foundations of Knowledge Representation  + (Description Logics – Syntax and Semantics II)
• 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)