TY - GEN
T1 - Reasoning about typicality in preferential description logics
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Olivetti, Nicola
AU - Pozzato, Gian Luca
PY - 2008
Y1 - 2008
N2 - In this paper we propose a nonmonotonic extension of the Description Logic for reasoning about prototypical properties and inheritance with exception. The logic is built upon a previously introduced (monotonic) logic , that is obtained by adding a typicality operator T to . The operator T is intended to select the "most normal" or "most typical" instances of a concept, so that knowledge bases may contain subsumption relations of the form"T(C) is subsumed by P", expressing that typical C-members have the property P. In order to perform nonmonotonic inferences, we define a "minimal model" semantics for . The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding entailment.
AB - In this paper we propose a nonmonotonic extension of the Description Logic for reasoning about prototypical properties and inheritance with exception. The logic is built upon a previously introduced (monotonic) logic , that is obtained by adding a typicality operator T to . The operator T is intended to select the "most normal" or "most typical" instances of a concept, so that knowledge bases may contain subsumption relations of the form"T(C) is subsumed by P", expressing that typical C-members have the property P. In order to perform nonmonotonic inferences, we define a "minimal model" semantics for . The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding entailment.
UR - http://www.scopus.com/inward/record.url?scp=56649086499&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-87803-2_17
DO - 10.1007/978-3-540-87803-2_17
M3 - Conference contribution
AN - SCOPUS:56649086499
SN - 3540878025
SN - 9783540878025
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 192
EP - 205
BT - Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
T2 - 11th European Conference on Logics in Artificial Intelligence, JELIA 2008
Y2 - 28 September 2008 through 1 October 2008
ER -