OWL Combination Invalid DL Formula

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

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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