W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

RE: minor naming quibble

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 24 Sep 2002 16:05:20 +0200
To: "Jeff Heflin" <heflin@cse.lehigh.edu>, "pat hayes" <phayes@ai.uwf.edu>
Cc: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDOEEJCAAA.jjc@hpl.hp.com>

> 
> > owl:differentIndividualFrom   -->  owl:different (or owl:differentFrom)
> 
> I prefer owl:differentFrom.
> 
> 

Presumably generalised to classes and properties.

P1 differentFrom P2 .
P1 rdf:type  owl:Property .

entails

exists a,b
  s.t. a P1 b .
and not a P2 b .

(how do I say that in OWL?

Maybe 

_:a rdf:type {
Symmetric difference of
<<Restriction P1 hasValue _:b>>
<<Restriciton P2 hasValue _:b>>
}.

)

C1 differentFrom C2 .
C1 rdf:type owl:Class .

entails

the symmetric difference of C1 and C2 is non-empty.

(I can see how to say that in triples, but it's fairly long winded).
Received on Tuesday, 24 September 2002 10:05:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT