Description logic

Family of decidable logics for describing concepts and their relations; the formal basis of OWL.

subject of

• Expressiveness and Tractability in Knowledge Representation and Reasoning writing 1987 [src]
• From SHIQ and RDF to OWL: The Making of a Web Ontology Language writing 2003 [src]

influenced by

• An Overview of the KL-ONE Knowledge Representation System writing 1985 [src]

built upon by

• DAML+OIL standard 2001 [src]
• OWL standard 2004 [src]

Sources

• https://en.wikipedia.org/wiki/Description_logic