Description Logics

A family of decidable fragments of first-order logic tailored for describing concepts (classes), roles (binary relations) and individuals. They provide the formal foundation for OWL and most Semantic-Web ontologies, with well-studied trade-offs between expressivity and reasoning complexity.

In this vault

Backlinks