Description Logics

By Franz Baader, Ian Horrocks, U. Sattler. Handbook on Ontologies, 2004

582 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.

Computing the Least Common Subsumer w.r.t. a Background Terminology (2004, methodology): “A recent success story is the use of DLs as ontology languages [6,7] for the Semantic Web [17].”
KnowRob: A knowledge processing infrastructure for cognition-enabled robots (2013, background): “An extensive overview of the concepts behind DL can be found in Baader et al. (2007), with a shorter introduction given by Baader et al. (2008).”
Persuasive Explanation of Reasoning Inferences on Dietary Data (2019, background): “The explanation of a reasoning process can be very difficult, especially when a system is based on a set of complex logical axioms whose logical inferences are performed with, for example, tableau algorithms [3].”
Wikidata: A large-scale collaborative ontological medical database (2019, methodology): “Thirdly, its Creative Commons CC0 license has facilitated its widespread use by other systems (Vrandečić & Krötzsch, 2014).”
News events prediction using Markov logic networks (2018, background): “DL is a family of logic-based formal knowledge representation languages that can be used to represent the knowledge of an application domain in a structured and formally well-understood way [45].”
Bio-ontologies: current trends and future directions (2006, background): “(The interested reader is referred to [49] for more information).”
Web Ontology Language: OWL (2004, unknown): “See [13] for more detail.”