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.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 1879 |
| Publication status | Published - 2017 |
| Event | 30th International Workshop on Description Logics, DL 2017 - Montpellier, France Duration: 18 Jul 2017 → 21 Jul 2017 |
Fingerprint
Dive into the research topics of 'An efficient reasoner for description logics of typicality and rational closure?'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver