RE: RDF and OWL rules

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