Warning:
This wiki has been archived and is now read-only.
TestCase:BijanTestOfTestCase2
From OWL
This tests existential generalization from BNodes. This should hold under both variable and skolem semantics.
- Author: Bijan Parsia
- Not yet approved.
Premise:
ObjectPropertyAssertion(:p :x _:y) <rdf:Description rdf:about="x"> <p rdf:nodeID="y"> </rdf:Description>
Conclusion:
ClassAssertion(:x ObjectSomeValuesFrom(:p, Thing)) <rdf:Description rdf:about="x"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:about="p"/> <owl:someValuesFrom rdf:about="&owl;Thing"/> </owl:Restriction> </rdf:type> </rdf:Description>
see TestsInWiki for documentation of the format of this page