RE: RDF and OWL rules from Geoff Chappell on 2003-04-01 (www-rdf-rules@w3.org from April 2003)

From: Geoff Chappell <geoff@sover.net>
Date: Tue, 1 Apr 2003 08:04:31 -0500
To: "'Jos De_Roo'" <jos.deroo@agfa.com>
Cc: "'RDF Rules'" <www-rdf-rules@w3.org>
Message-ID: <00a101c2f84f$3e6ed170$835ec6d1@GSCLAPTOP>

Hi Jos,

It looks to me like the rules for neg:item (rule40n2) in [1] make a
unique names assumption. Is this by design?

Should:
	?a log:notEqualTo ?x
be changed to:
	?a owl:differentFrom ?x

or am I misinterpreting the semantics of log:notEqualTo (i.e. does it do
more than a name comparison)?

Regards,

Geoff

[1] http://www.agfa.com/w3c/euler/owl-rules

Received on Tuesday, 1 April 2003 08:09:06 UTC