DataTerminology.comNEW
A family of formal knowledge representation languages enabling structured ontologies with decidable automated reasoning.
DESCRIPTION
Description Logics provide a formal basis for representing concepts, roles, and individuals with well-defined semantics and inference services. They are decidable fragments of first-order logic designed to support tasks like classification, subsumption, and consistency checking. DLs underpin the OWL family of standards on the Semantic Web. Profiles such as EL, QL, and RL trade expressivity for tractable reasoning.
ALTERNATIVE DEFINITIONS
Wikipedia
Description logic (DL) is a family of formal knowledge representation languages.
Concise definition focusing on DL as a family of KR formalisms.
Stanford Encyclopedia of Philosophy
Description Logics (DLs) are a family of knowledge representation languages that are fragments of first-order logic designed for representing structured knowledge.
Emphasizes first-order logic fragments and structured knowledge representation.
W3C
OWL 2 is based on Description Logics, a family of knowledge representation formalisms.
Links DL to the OWL 2 standard as its logical foundation.
RELATED TERMS
Knowledge Representation OWL RDF Reasoner TBox ABox Semantic Web SROIQ DL-Lite Open World Assumption
COMPETING TERMS
First-order Logic
KNOWLEDGE AREAS
Semantic & Knowledge Modeling AI Data Management
TARGET AUDIENCE
Data Architect Data Modeler Information Analyst AI Engineer
EXTERNAL SOURCES
- Wikipedia - Description logic
- W3C - OWL 2 overview based on DL
- Stanford Encyclopedia of Philosophy - Comprehensive DL background
- Stanford Protege - Tooling for OWL/DL ontologies
TOP QUESTIONS
Why use Description Logic instead of full first-order logic?
DLs provide decidability and well-behaved reasoning procedures, enabling practical automated reasoning with guaranteed termination.
Category: Relevancy
What are TBox and ABox in Description Logic?
The TBox defines terminological knowledge (schema), and the ABox asserts facts about individuals (data).
Category: Concept
How does Description Logic relate to OWL?
OWL profiles correspond to specific DLs; OWL 2 is grounded in the DL SROIQ with defined semantics.
Category: Concept
What reasoning tasks are supported by Description Logic?
Typical tasks include subsumption, satisfiability, classification, realization, and consistency checking.
Category: How-to
What is a common misunderstanding about Description Logic?
That DL is just a taxonomy; in fact, it has formal semantics and supports inference beyond simple hierarchies.
Category: Misunderstanding
When should I choose DL-Lite or EL profiles?
Choose DL-Lite for query answering with databases, EL for large ontologies requiring polynomial-time classification.
Category: Best practices
What are the risks of over-expressive DLs?
Highly expressive logics may cause expensive reasoning or undecidable extensions; selecting a proper profile mitigates this.
Category: Risks
How do DL reasoners work in practice?
They use tableau, hypertableau, or consequence-based methods to determine satisfiability and entailments.
Category: Requirements
Where do Description Logics see industrial use?
In semantic interoperability, healthcare terminologies, knowledge graphs, and configuration management systems.
Category: Example