For non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as one of the main approaches. In this work we present an integration of RC within the triple language RDFS (Resource Description Framework Schema), which together with OWL 2 is a major standard semantic web ontology language. To do so, we start from ?df, an RDFS fragment that covers the essential features of RDFS, and extend it to ?df?, allowing to state that two entities are incompatible/disjoint with each other. Eventually, we propose defeasible ?df? via a typical RC construction allowing to state default class/property inclusions.

Defeasible reasoning in RDFS

Casini G;Straccia U
2022

Abstract

For non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as one of the main approaches. In this work we present an integration of RC within the triple language RDFS (Resource Description Framework Schema), which together with OWL 2 is a major standard semantic web ontology language. To do so, we start from ?df, an RDFS fragment that covers the essential features of RDFS, and extend it to ?df?, allowing to state that two entities are incompatible/disjoint with each other. Eventually, we propose defeasible ?df? via a typical RC construction allowing to state default class/property inclusions.
2022
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Arieli O., Casini G., Giordano L.
NMR 2022 - International Workshop on Non-Monotonic Reasoning 2022
NMR 2022 - International Workshop on Non-Monotonic Reasoning 2022
3197
155
158
http://ceur-ws.org/Vol-3197
Sì, ma tipo non specificato
07-09/08/2022
Haifa, Israel
RDFS
Non-monotonic reasoning
Defeasible reasoning
Ratio
2
open
Casini, G; Straccia, U
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
   Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization
   TAILOR
   H2020
   952215
File in questo prodotto:
File Dimensione Formato  
prod_470248-doc_190679.pdf

accesso aperto

Descrizione: Defeasible reasoning in RDFS
Tipologia: Versione Editoriale (PDF)
Dimensione 557.21 kB
Formato Adobe PDF
557.21 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/20.500.14243/420358
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact