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
RDFS
Non-monotonic reasoning
Defeasible reasoning
Ratio
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