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.
2015
28th International Workshop on Description Logics (DL2015)
Athens, Greece
7 - 10 June 2015
Proceedings of the 28th International Workshop on Description Logics (DL2015)
CEUR Workshop Proceedings
1350
1
13
description logics, nonmonotonic reasoning, theorem proving, logic programming
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1526106
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact