The Description Logic Handbook
Explore this paper's citation graph
Summary
This introduction presents the main motivations for the development of Description Logics as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition.
- Type
- book
- Published
- 2007-06-01
- Cited by
- 2,384
- References
- 236
- OpenAlex
- https://openalex.org/W1542417898
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:57205491
Keywords
Computer science, Formalism (music), Knowledge representation and reasoning, Description logic, Knowledge base
References
Cited by
- Tableau Compiled Labelled Deductive Systems with an application to Description Logics
- Knowledge-Based Modeling and Natural Computing for Coordination in Pervasive Environments
- Ontology-driven Association Rules Extraction: a Case of Study
- Three Dimensions of Knowledge Representation in WonderWeb
- Inference in Probabilistic Ontologies with Attributive Concept Descriptions and Nominals
- A Semantic Framework for Uncertainties in Ontologies
- Introduction to the Semantic Web Technologies
- Semantic-based Geographical Matchmaking in Ubiquitous Computing
- Semantic and Bayesian Profiling Services for Textual Resource Retrieval
- Ontology-Based Context Modeling
- Translating XBRL Into Description Logic. An Approach Using Protege, Sesame & OWL
- Robots that Change Their World: Inferring Goals from Semantic Knowledge
- Modal memory logics
- Contexts and Ontologies in Schema Matching
- Normative systems require hybrid knowledge bases
- Query rewriting using views in presence of value constraints
- Overcoming Differences of Meaning in Spatial Data Infrastructures – Achievements and Challenges
- Aspects of Distributed and Modular Ontology Reasoning
- Semantic service description framework for efficient service discovery and composition
- How fit is OWL to represent realist ontologies? The semantics of representational units in realist ontologies and the Web Ontology Language
Related papers
- Pushing the EL Envelope
- Pellet: A practical OWL-DL reasoner
- Attributive Concept Descriptions with Complements
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
- A translation approach to portable ontology specifications
- Toward principles for the design of ontologies used for knowledge sharing?
- Logical foundations of object-oriented and frame-based languages