@inproceedings{166d12f67f044af4ab2db738e878c70a,
title = "A multi-engine theorem prover for a description logic of typicality",
abstract = "We describe DysToPic, a theorem prover for the preferential Description 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 promising, and significantly better than the ones of its predecessor PreDeLo 1.0 recently introduced.",
author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, \{Gian Luca\} and Luca Violanti",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 14th International Conference of the Italian Association for Artificial Intelligence, 2015 ; Conference date: 23-09-2015 Through 25-09-2015",
year = "2015",
doi = "10.1007/978-3-319-24309-2\_13",
language = "English",
isbn = "9783319243085",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "164--178",
editor = "Fabrizio Riguzzi and Marco Gavanelli and Evelina Lamma",
booktitle = "AIIA 2015 - Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Proceedings",
address = "Germany",
}