Description Logics

Home > Philosophy > Ontology > Ontology Languages > Description Logics

A family of formal languages used to represent and reason about the concepts and relationships in ontologies.