OWL Combination Invalid DL Import

From RIF
Revision as of 02:02, 17 May 2010 by Smitchel (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Test TypeImportRejectionTest
ContributorJosDeBruijn
StatusApproved
RecordMay 4, 2010 telecon
DialectCore
PurposeTest that an invalid combination is rejected
DescriptionIf a RIF document R imports OWL ontologies using the OWL-Direct profile that are not OWL 2 DL ontologies, then R must be rejected. The imported ontology is not an OWL 2 DL ontology (because it is the empty graph), and so R must be rejected.
SeeAlsoOWL_Combination_Invalid_DL_Formula
SpecRefSWC#Interpretation_of_Profiles
SWC#Syntax_of_RIF-OWL_Combinations
ImportedDocument
Location http://example.org/mygraph
Turtle
XMLview RDF/XML
Input
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( ) )
XMLview RIF/XML