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.

An efficient reasoner for description logics of typicality and rational closure

Gliozzi, Valentina;Pozzato, Gian Luca;RENZULLI, RICCARDO
2017-01-01

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.
2017
30th International Workshop on Description Logics, DL 2017
Montpellier, France
18 July 2017 through 21 July 2017
Proceedings of the 30th International Workshop on Description Logics, DL 2017
CEUR-WS
1879
1
13
http://ceur-ws.org/Vol-1879/paper25.pdf
Description Logics, Rational Closure, Protege, Theorem proving, Typicality, Ontology
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
File in questo prodotto:
File Dimensione Formato  
paper25.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 406.82 kB
Formato Adobe PDF
406.82 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/1655261
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact