OWL Combination Invalid DL Import



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
Last modified on 17 May 2010, at 02:02