TY - GEN
T1 - Prototypical reasoning with low complexity description logics
T2 - 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Olivetti, Nicola
AU - Pozzato, Gian Luca
PY - 2009
Y1 - 2009
N2 - We present an extension ℰ ℒ +perp;T of the description logic ℰ ℒ +perp; for reasoning about prototypical properties and inheritance with exceptions. ℰ ℒ +perp;T is obtained by adding to ℰ ℒ +perp; a typicality operator T, which is intended to select the "typical" instances of a concept. In ℰ ℒ +perp;T knowledge bases may contain inclusions of the form "T(C) is subsumed by P", expressing that typical C-members have the property P. We show that the problem of entailment in ℰ ℒ +perp; is in co-NP.
AB - We present an extension ℰ ℒ +perp;T of the description logic ℰ ℒ +perp; for reasoning about prototypical properties and inheritance with exceptions. ℰ ℒ +perp;T is obtained by adding to ℰ ℒ +perp; a typicality operator T, which is intended to select the "typical" instances of a concept. In ℰ ℒ +perp;T knowledge bases may contain inclusions of the form "T(C) is subsumed by P", expressing that typical C-members have the property P. We show that the problem of entailment in ℰ ℒ +perp; is in co-NP.
UR - http://www.scopus.com/inward/record.url?scp=70349862104&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04238-6_38
DO - 10.1007/978-3-642-04238-6_38
M3 - Conference contribution
AN - SCOPUS:70349862104
SN - 3642042376
SN - 9783642042379
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 430
EP - 436
BT - Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings
Y2 - 14 September 2009 through 18 September 2009
ER -