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

OWL Combination Invalid DL Formula

From RIF
Jump to: navigation, search



Test TypeImportRejectionTest
ContributorStella Mitchell
StatusApproved
RecordMay 4, 2010 telecon
DialectCore
PurposeTest that an invalid combination is rejected
DescriptionIf a RIF document R imports only documents with OWL-Direct profiles and R is not a DL-document formula, then R must be rejected. The frame formula in the RIF document is not a DL-Frame formula because it has a variable in the property position, and so the document is not a DL-document formula.
SeeAlsoOWL_Combination_Invalid_DL_Import
SpecRefSWC#Interpretation_of_Profiles
SWC#Syntax_of_RIF-OWL_Combinations
ImportedDocument
Location http://example.org/mygraph
Turtle@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . _:x rdf:type owl:Ontology .
XMLview RDF/XML
Input
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( Forall ?x ( <http://example.org/#p>(?x) :- <http://example.org/#crt>[?x -> "17"^^xs:integer] ) ) )
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=OWL_Combination_Invalid_DL_Formula&oldid=12738"