- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Mon, 04 Feb 2002 10:30:34 +0000
- To: jos.deroo.jd@belgium.agfa.com
- Cc: brian_mcbride@hp.com, w3c-rdfcore-wg@w3.org
At 11:47 PM 2/3/02 +0100, jos.deroo.jd@belgium.agfa.com wrote:
> > We have to decide on Dan Brickley's equality test. Does
As Jos points out, I think the test case as stated does not isolate the
issue I think DanBri is trying to get at. I think this would be closer:
Does:
ex:s1 <rdf:type> <rdf:Statement> .
ex:s1 <rdf:subject> <subject> .
ex:s1 <rdf:predicate> <predicate> .
ex:s1 <rdf:object> <object> .
_:s2 <rdf:type> <rdf:Statement> .
_:s2 <rdf:subject> <subject> .
_:s2 <rdf:predicate> <predicate> .
_:s2 <rdf:object> <object> .
_:s2 <property> <SomePropertyValue> .
entail:
ex:s1 <property> <SomePropertyValue> .
?
------------------------------------------------------------
Graham Klyne MIMEsweeper Group
Strategic Research <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
__
/\ \
/ \ \
/ /\ \ \
/ / /\ \ \
/ / /__\_\ \
/ / /________\
\/___________/
Received on Monday, 4 February 2002 05:35:59 UTC