reification test case

We have to decide on Dan Brickley's equality test.  Does

_:s1 <rdf:type>      <rdf:Statement> .
_:s1 <rdf:subject>   <subject> .
_:s1 <rdf:predicate> <predicate> .
_:s1 <rdf:object>    <object> .

_:s2 <rdf:type>      <rdf:Statement> .
_:s2 <rdf:subject>   <subject> .
_:s2 <rdf:predicate> <predicate> .
_:s2 <rdf:object>    <object> .

_:s1 <property>      "property" .

entail:

_:s2 <property>      "property" .

Brian

Received on Sunday, 3 February 2002 12:47:28 UTC