The Description Logic Handbook

  title={The Description Logic Handbook},
  author={Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider},
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. [] Key Method We delve into some of the key problems encountered with the older efforts. Subsequently, we introduce the basic features of DL languages and related reasoning techniques.

Foundations of Description Logics

This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family

The Performance of TimeER Model by Description Logics

The paper approaches the representation method of Alessandro Artale and proposes mapping multi-valued attributes in the temporal ER model to DL, which is considered to be very close to the language used to represent the Entity-Relationship model (ER model).

A type-theoretical approach for ontologies: The case of roles

A theory for representing ontologies in a dependently-typed framework which relies on strong formal foundations including both a constructive logic and a functional type system to bridge the gap in type theories in the formalization of ontologies.

Reconciling description logics and rules

A hybrid formalism of MKNF+ knowledge bases is presented, which integrates DLs and rules in a coherent semantic framework by basing the semantics of the formalism on the logic of minimal knowledge and negation as failure (MKNF) by Lifschitz.

Towards More Useful Description Logics of Time, Change and Context

This thesis furthers the understanding and utility of two-dimensional DLs by identifying two- dimensional DLs providing the right expressive power to model more accurately temporal and contextual aspects of knowledge required by certain DL applications, or providing better computational properties than other possible alternatives.

An Evaluation of Description Logic for the Development of Product Models

This paper first analyzes the requirements for the development of structured knowledge representation models for manufacturing products using ontologies, then explores how these requirements can be satisfied through the levels of logical formalisms and expressivity of a structuredknowledge representation model.

An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models

This paper first analyzes the requirements for the development of structured knowledge representation models for manufacturing products, then explores how these requirements can be satisfied through the levels of logical formalisms and expressivity of a structuredknowledge representation model.

Designing Visual Languages for Description Logics

  • B. Gaines
  • Computer Science
    J. Log. Lang. Inf.
  • 2009
The design issues for semantic network formalisms are discussed, and detailed examples of significant generic knowledge structures analyzed in the literature are illustrated, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomyies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions.

FO(ID) as an extension of DL with rules

This paper investigates the integration of first-order logic and Logic Programs and discovers whether there are interesting extensions of DL with rules that can be arrived at by imposing appropriate restrictions on the highly expressive FO(ID).

The DL-Lite Family and Relations

This article carries out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes, by adding the Boolean connectives and number restrictions to concept constructs and adopting or dropping the unique name assumption.



Extensible Knowledge Representation: the Case of Description Reasoners

An approach to extensible knowledge representation and reasoning for the Description Logic family of formalisms based on the notion of adding new concept constructors, and includes a heuristic methodology for specifying the desired extensions, as well as a modularized software architecture that supports implementing extensions.

From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics

The paper presents inference rules in the natural semantics style for a variety of judgments involving descriptions, such as “subsumption” and “object membership”, and provides the full definition of subsumption in the Classic KBMS as a proof system.

Terminological Systems Revisited: Terminology = Schema + Views

This work proposes to account for this conceptual separation by partitioning the TBox into two components for primitive and deened concepts, which it is argued that by this separation the authors achieve more conceptual clarity about the role of primitive anddeened concepts and the semantics of terminological cycles.

A Refined Architecture for Terminological Systems: Terminology = Schema + Views

Modal Description Logics: Modalizing Roles

It is shown that the satisfaction problem becomes undecidable if the underlying frames are arbitrary strict linear orders, 〈$$\mathbb{N}$$, <〉, or the language contains the common knowledge operator for n ≥ 2 agents.

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages

It is shown that the epistemic operator both introduces novel features in the language and makes it possible to provide a formal account for some aspects of the existing systems, such as rules and definitions, that cannot be characterized in a standard first-order framework.

Structured Objects: Modeling and Reasoning

This paper presents a new data model, called CVL, that extends the usual object-oriented data models with several aspects, including view definition, recursive structure modeling, navigation of the schema through forward and backward traversal of links, subsetting of attributes, and cardinality ratio constraints on links.

Dynamic logic

This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value.

The Generalized Upper Model Knowledge Base: Organization and Use

The general principles underlying the organization of the knowledge base, some steps towards extending its use, and some examples of the content thus motivated are described, as well as the ongoing development work on the design and use of upper models.

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets

This paper proposes a powerful description logic overcoming the above limitations and shows that its reasoning tasks are decidable in worst case exponential time.