Preferential description logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We extend the Description Logic ACC with a "typicality" operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ACC + T. The typicality operator is intended to select the "most normal" or "most typical" instances of a concept. In our framework, knowledge bases may then contain, in addition to ordinary ABoxes and TBoxes, subsumption relations of the form "T(C) is subsumed by P", expressing that typical C-members have the property P. The semantics of a typicality operator is defined by a set of postulates that are strongly related to KrausLehmann-Magidor axioms of preferential logic P. We first show that T enjoys a simple semantics provided by ordinary structures equipped by a preference relation. This allows us to obtain a modal interpretation of the typicality operator. Using such a modal interpretation, we present a tableau calculus for deciding satisfiability of ACC + T knowledge bases. Our calculus gives a nondeterministic-exponential time decision procedure for satisfiability of ACC + T. We then extend ACC + T knowledge bases by a nonmonotonic completion that allows inferring defeasible properties of specific concept instances1.

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings
PublisherSpringer Verlag
Pages257-272
Number of pages16
ISBN (Print)9783540755586
DOIs
Publication statusPublished - 2007
Event14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007 - Yerevan, Armenia
Duration: 15 Oct 200719 Oct 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4790 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007
Country/TerritoryArmenia
CityYerevan
Period15/10/0719/10/07

Fingerprint

Dive into the research topics of 'Preferential description logics'. Together they form a unique fingerprint.

Cite this