An efficient reasoner for description logics of typicality and rational closure
Contributo in Atti di convegno
Data di Pubblicazione:
2017
Abstract:
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Description Logics, Rational Closure, Protege, Theorem proving, Typicality, Ontology
Elenco autori:
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Proceedings of the 30th International Workshop on Description Logics, DL 2017
Pubblicato in: