OWL Combination Invalid DL Formula

From RIF

Test Type	ImportRejectionTest
Contributor	Stella Mitchell
Status	Proposed
Record
Dialect	Core
Purpose	Test that an invalid combination is rejected
Description	If 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.
SeeAlso
SpecRef	SWC#Interpretation_of_Profiles SWC#Syntax_of_RIF-OWL_Combinations
ImportedDocument	Format Turtle Location http://example.org/mygraph Text
Input	Presentation Syntax Document( 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] ) ) ) XML view XML