RDF Combination SubClass



Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record13 Oct 2009 telecon
DialectCore
PurposeTest interaction between rdfs:subClassOf, rdf:type, ## and # in RIF
DescriptionIn RIF-RDF combinations, we have that rdf:type statements are equivalent to RIF # statements and RIF ## statements imply rdfs:subClassOf statements. By the semantics of combinations, we have that ex:a rdf:type ex:C implies ex:a # ex:C, but ex:C rdfs:subClassOf ex:D does not imply ex:C ## ex:D. Therefore, ex:a # ex:D cannot be derived. Notice that the import profile is 'Simple'.
SeeAlsoRDF_Combination_SubClass_2
SpecRefSWC#Common_RIF-RDF_Interpretations
ImportedDocument
Location http://example.org/mygraph
Turtle@prefix ex: <http://example.org/example#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ex:a rdf:type ex:C . ex:C rdfs:subClassOf ex:D .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:a # ex:D
XMLview RIF/XML
Last modified on 2 February 2010, at 13:20