Warning:
This wiki has been archived and is now read-only.

RDF Combination Invalid Profiles 1

From RIF
Jump to: navigation, search



Test TypeImportRejectionTest
ContributorStella Mitchell
StatusApproved
RecordAugust 8, 2010 Telecon
DialectCore
PurposeTest that a RIF document with an invalid set of import directives is rejected
DescriptionThere must be a highest profile in the set of profiles specified in a RIF document's import closure. There is no ordering defined between the Simple and OWL-Direct profiles, and so no highest profile. See SpecRef.
SeeAlso
SpecRefSWC#Interpretation_of_Profiles
SWC#Profiles_of_Imports
ImportedDocument
Location http://example.org/mygraph1
Turtle
XMLview RDF/XML
ImportedDocument
Location http://example.org/mygraph2
Turtle
XMLview RDF/XML
Input
Presentation SyntaxDocument( Import(<http://example.org/mygraph1> <http://www.w3.org/ns/entailment/Simple>) Import(<http://example.org/mygraph2> <http://www.w3.org/ns/entailment/OWL-Direct>) )
XMLview RIF/XML