The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e.g."antipyretics are drugs"). In this paper we show how to extend RDFS to express and reason with various forms of negative statements under the Open World Assumption (OWA). To do so, we start from rdf, a minimal, but significant RDFS fragment that covers all essential features of RDFS, and then extend it to ?rdfbotneg, allowing express also statements such as "radio therapies are non drug treatments", "Ebola has no treatment", or "opioids and antipyretics are disjoint classes". The main and, to the best of our knowledge, unique features of our proposal are: (i) rdfbotneg remains syntactically a triple language by extending rdf with new symbols with specific semantics and there is no need to revert to the reification method to represent negative triples; (ii) the logic is defined in such a way that any RDFS reasoner/store may handle the new predicates as ordinary terms if it does not want to take account of the extra capabilities; (iii) despite negated statements, every rdfbotneg knowledge base is satisfiable; (iv) the rdfbotneg entailment decision procedure is obtained from rdf via additional inference rules favouring a potential implementation; and (v) deciding entailment in rdfbotneg ranges from P to NP.
A minimal deductive system for RDFS with negative statements
Straccia U;Casini G
2022
Abstract
The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e.g."antipyretics are drugs"). In this paper we show how to extend RDFS to express and reason with various forms of negative statements under the Open World Assumption (OWA). To do so, we start from rdf, a minimal, but significant RDFS fragment that covers all essential features of RDFS, and then extend it to ?rdfbotneg, allowing express also statements such as "radio therapies are non drug treatments", "Ebola has no treatment", or "opioids and antipyretics are disjoint classes". The main and, to the best of our knowledge, unique features of our proposal are: (i) rdfbotneg remains syntactically a triple language by extending rdf with new symbols with specific semantics and there is no need to revert to the reification method to represent negative triples; (ii) the logic is defined in such a way that any RDFS reasoner/store may handle the new predicates as ordinary terms if it does not want to take account of the extra capabilities; (iii) despite negated statements, every rdfbotneg knowledge base is satisfiable; (iv) the rdfbotneg entailment decision procedure is obtained from rdf via additional inference rules favouring a potential implementation; and (v) deciding entailment in rdfbotneg ranges from P to NP.File | Dimensione | Formato | |
---|---|---|---|
prod_469827-doc_190392.pdf
accesso aperto
Descrizione: KR22.StracciaCasini
Tipologia:
Versione Editoriale (PDF)
Dimensione
242.92 kB
Formato
Adobe PDF
|
242.92 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.