PreDeLo 1.0: A theorem prover for preferential Description Logics

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

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteAI*IA 2013
Sottotitolo della pubblicazione ospiteAdvances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings
Pagine60-72
Numero di pagine13
DOI
Stato di pubblicazionePubblicato - 2013
Evento13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013 - Turin, Italy
Durata: 4 dic 20136 dic 2013

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8249 LNAI
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013
Paese/TerritorioItaly
CittàTurin
Periodo4/12/136/12/13

Fingerprint

Entra nei temi di ricerca di 'PreDeLo 1.0: A theorem prover for preferential Description Logics'. Insieme formano una fingerprint unica.

Cita questo