Description Logic

E165805 UNEXPLORED

Description Logic is a family of formal knowledge representation languages used to model and reason about the concepts and relationships within a domain, forming the logical foundation of ontology languages like OWL.


Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

OWL 2 QL subClassOf Description Logic