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.
RAT-OWL: Reasoning with rational closure in description logics of typicality
Gliozzi, Valentina;Pozzato, Gian Luca;Renzulli, Riccardo
2017-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CILCpaper07.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
448.85 kB
Formato
Adobe PDF
|
448.85 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.