TY - GEN
T1 - PreDeLo 1.0
T2 - 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Jalal, Adam
AU - Olivetti, Nicola
AU - Pozzato, Gian Luca
PY - 2013
Y1 - 2013
N2 - We describe PreDeLo 1.0, a theorem prover for preferential Description Logics (DLs). These are nonmonotonic extensions of standard DLs based on a typicality operatorT, which enjoys a preferential semantics. PreDeLo 1.0 is a Prolog implementation of labelled tableaux calculi for such extensions, and it is able to deal with the preferential extension of the basic DL ALC as well as with the preferential extension of the lightweight DL DL-Litecore . The Prolog implementation is inspired by the "lean" methodology, whose basic idea is that each axiom or rule of the tableaux calculi is implemented by a Prolog clause of the program. Concerning ALC, PreDeLo 1.0 considers two extensions based, respectively, on Kraus, Lehmann and Magidor's preferential and rational entailment. In this paper, we also introduce a tableaux calculus for checking entailment in the rational extension of ALC.
AB - We describe PreDeLo 1.0, a theorem prover for preferential Description Logics (DLs). These are nonmonotonic extensions of standard DLs based on a typicality operatorT, which enjoys a preferential semantics. PreDeLo 1.0 is a Prolog implementation of labelled tableaux calculi for such extensions, and it is able to deal with the preferential extension of the basic DL ALC as well as with the preferential extension of the lightweight DL DL-Litecore . The Prolog implementation is inspired by the "lean" methodology, whose basic idea is that each axiom or rule of the tableaux calculi is implemented by a Prolog clause of the program. Concerning ALC, PreDeLo 1.0 considers two extensions based, respectively, on Kraus, Lehmann and Magidor's preferential and rational entailment. In this paper, we also introduce a tableaux calculus for checking entailment in the rational extension of ALC.
UR - http://www.scopus.com/inward/record.url?scp=84892724532&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-03524-6_6
DO - 10.1007/978-3-319-03524-6_6
M3 - Conference contribution
AN - SCOPUS:84892724532
SN - 9783319035239
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 60
EP - 72
BT - AI*IA 2013
Y2 - 4 December 2013 through 6 December 2013
ER -