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.
2017
Inglese
contributo
1 - Conferenza
Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017
Napoli
26 September 2017 through 28 September 2017
Internazionale
Dalla Monica D.,Sauro L.,Rubin S.,Murano A.
Dalla Monica D.,Sauro L.,Rubin S.,Murano A.
Proceedings of the Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017
Esperti anonimi
CEUR-WS
Napoli
ITALIA
1949
306
320
15
http://ceur-ws.org/Vol-1949/CILCpaper07.pdf
Description Logics, Rational Closure, Protege, Theorem proving, Typicality, Ontology
no
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
273
open
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1655263
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact