ApprovedCoreBLDPRDhttp://www.w3.org/ns/entailment/OWL-DirectTest that an invalid combination is rejectedIf 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.OWL_Combination_Invalid_DL_Formula-import001.rdfhttp://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Invalid_DL_Formula/OWL_Combination_Invalid_DL_Formula-import001 .
@prefix owl: .
_:x rdf:type owl:Ontology .
]]>OWL_Combination_Invalid_DL_Formula-input.rifhttp://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Invalid_DL_Formula/OWL_Combination_Invalid_DL_Formula-input.rif)
Group (
Forall ?x (
(?x) :- [?x -> "17"^^xs:integer]
)
)
)
]]>