TestCase:BijanTestOfTestCase2

From OWL
Revision as of 00:54, 14 January 2008 by AlanRuttenberg (Talk | contribs)

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