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

TestCase:BijanTestOfTestCase2

From OWL
Jump to: navigation, search

This tests existential generalization from BNodes. This should hold under both variable and skolem semantics.

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

Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=TestCase:BijanTestOfTestCase2&oldid=2815"