The description logic handbook: theory

By Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider. 2003

1,082 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/030de1a5d2d8b60d7ff5bb19c84d9927533b93ef

How researchers see this paper

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

Citations in the corpus

HTN planning for Web Service composition using SHOP2 (2004, background): “OWL DL species of the language can be directly mapped to SHION (D) Description Logic (DL) [ 15 ] which itself is a decidable subset of firstorder logic.”
Interval-valued intuitionistic fuzzy soft sets and their properties (2010, methodology): “[33] use the concepts of Description Logics (DLs) [34] to act as the parameters of soft sets.”
COSAR: hybrid reasoning for context-aware activity recognition (2011, background): “systems [ 3 ] and, consequently, of OWL-DL, it is necessary to explicitly state those artifacts that are not present in a given location.”
A survey of context modelling and reasoning techniques (2010, background): “…expressiveness and complexity of reasoning has driven most of the research in symbolic knowledge representation in the last two decades, and description logics [3] have emerged among other logicbased formalisms, mostly because they provide complete reasoning supported by optimised automatic tools.”
Reasoning on UML class diagrams (2005, methodology): “In spite of its simplicity, reasoning in ALC KBs is EXPTIME-complete, as for ALCQI [28, 22, 1].”
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (2014, background): “These and similar ontologies use formal logic (often Description Logics (Baader et al. 2003)) to categorize and relate linguistic terms, they are systematically engineered to cover a broad range of domains and applications.”
Managing uncertainty and vagueness in description logics for the Semantic Web (2008, background): “OWL Lite and OWL DL are essentially very expressive description logics [3] with an RDF syntax [56].”
Fuzzy spatial relation ontology for image interpretation (2008, background): “DL [3] are a family of knowledge-based representation systems mainly characterized by a set of constructors that enable to build complex concepts and roles from atomic ones.”
Computing the Least Common Subsumer w.r.t. a Background Terminology (2004, methodology): “DLs have been applied in many domains, such as medical informatics, software engineering, configuration of technical systems, natural language processing, databases, and web-based information systems (see Part III of [ 5 ] for details on these and other applications).”
Fuzzy Ontology Representation using OWL 2 (2010, unknown): “Description Logics (DLs for short) [1] are a family of logics for representing structured knowledge.”
Swoogle: a search and metadata engine for the semantic web (2004, background): “These correspond to what are called T-Boxes and A-Boxes in the description logic literature [6, 13].”
A software framework for matchmaking based on semantic web technology (2003, background): “Concept descriptions in si!? are formed according to the following syntax rule [1]:”