We describe DysToPic, a theorem prover for the preferential De- scription Logic ALC + Tmin. This is a nonmonotonic extension of standard ALC based on a typicality operator T, which enjoys a preferential semantics. DysToPic is a multi-engine Prolog implementation of a labelled, two-phase tableaux calculus for ALC + Tmin whose basic idea is that of performing these two phases by different machines. The performances of DysToPic are promis- ing,andsignificantlybetterthantheonesofitspredecessorPreDeLo 1.0.
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
GLIOZZI, Valentina;POZZATO, GIAN LUCA;
2015-01-01
Abstract
We describe DysToPic, a theorem prover for the preferential De- scription Logic ALC + Tmin. This is a nonmonotonic extension of standard ALC based on a typicality operator T, which enjoys a preferential semantics. DysToPic is a multi-engine Prolog implementation of a labelled, two-phase tableaux calculus for ALC + Tmin whose basic idea is that of performing these two phases by different machines. The performances of DysToPic are promis- ing,andsignificantlybetterthantheonesofitspredecessorPreDeLo 1.0.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
DL2015official.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
799.46 kB
Formato
Adobe PDF
|
799.46 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
