Basic Description Logics

By Franz Baader, W. Nutt. Description Logic Handbook, 2003

737 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Enhancing the Ostrom social-ecological system framework through formalization (2014, background): “These languages date back to original work on existential graphs (Peirce 1909), semantic networks and frames (Minsky 1975), and description logics (Baader and Nutt 2003).”
Pellet: A practical OWL-DL reasoner (2007, background): “These services are inter-definable [3], but it is standard to reduce them all to consistency checking, as Pellet does.”
Semantic web technologies in AEC industry: A literature overview (2017, methodology): “The semantic web namely relies on OWL for the representation of the semantic meaning of concepts [24] , which is grounded in Description Logic (DL — [25] ).”
Resource Description Framework (RDF) (2009, methodology): “The OWL language extends the modelling capabilities of RDF Schema using a family of formal logic known as description logics [33] in order to produce a more expressive ontology language that allows the user to specify the nature of a class in terms of the necessary and sufficient conditions that…”