TY - JOUR
T1 - An efficient reasoner for description logics of typicality and rational closure?
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Pozzato, Gian Luca
AU - Renzulli, Riccardo
N1 - Funding Information:
★ This work has been partially supported by the projects “ExceptionOWL” (Universitá di Torino and Compagnia di San Paolo) and “Ragionamento Defeasible nelle Logiche Descrittive” (IN-dAM GNCS).
PY - 2017
Y1 - 2017
N2 - In this work we present RAT-OWL, a Protégé 4.3 Plugin for reasoning about typicality in preferential Description Logics. RAT-OWL allows the user to reason in a nonmonotonic extension of Description Logics based on the notion of "rational closure". This logic extends standard Description Logics in order to express "typical" properties, that can be directly specified by means of a typicality operator T: T(C) D represents that "typical Cs are also Ds". We show experimental results, indicating that the performances of RAT-OWL are promising.
AB - In this work we present RAT-OWL, a Protégé 4.3 Plugin for reasoning about typicality in preferential Description Logics. RAT-OWL allows the user to reason in a nonmonotonic extension of Description Logics based on the notion of "rational closure". This logic extends standard Description Logics in order to express "typical" properties, that can be directly specified by means of a typicality operator T: T(C) D represents that "typical Cs are also Ds". We show experimental results, indicating that the performances of RAT-OWL are promising.
UR - http://www.scopus.com/inward/record.url?scp=85027893395&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85027893395
SN - 1613-0073
VL - 1879
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 30th International Workshop on Description Logics, DL 2017
Y2 - 18 July 2017 through 21 July 2017
ER -