RAT-OWL: Reasoning with rational closure in description logics of typicality
Contributo in Atti di convegno
Data di Pubblicazione:
2017
Abstract:
We present RAT-OWL, a software system for reasoning about typicality in preferential Description Logics. It is implemented in the form of a Proteǵe 4.3 Plugin and it 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: A TBox can contain inclusions of the form T(C) v D to represent 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 Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017
Pubblicato in: