Description Logic
A family of formal knowledge representation languages used to represent and reason about the knowledge of an application domain. More expressive than propositional logic but less expressive than first-order logic, with decidable core reasoning problems and efficient decision procedures.
Areas of application
- Artificial Intelligence
- Computer Science
- Information Technology
- Medicine
- Philosophy
- Software Engineering
Example
An example of a Description Logic language is the Web Ontology Language (OWL), which is used to describe and reason about ontologies on the web. OWL allows for the representation of complex relationships between concepts and the description of ontologies with multiple axioms and restrictions.