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.
| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 306-320 |
| Numero di pagine | 15 |
| Rivista | CEUR Workshop Proceedings |
| Volume | 1949 |
| Stato di pubblicazione | Pubblicato - 2017 |
| Evento | Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017 - Naples, Italy Durata: 26 set 2017 → 28 set 2017 |