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

OWL Combination Invalid DL Import

From RIF
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