RE: intersectionOf and subClassOf

> -----Original Message-----
> From: www-rdf-logic-request@w3.org
[mailto:www-rdf-logic-request@w3.org]
> On Behalf Of Peter F. Patel-Schneider
> Sent: Tuesday, April 08, 2003 7:57 AM
> To: geoff@sover.net
> Cc: www-rdf-logic@w3.org; jjc@hpl.hp.com
> Subject: Re: intersectionOf and subClassOf
> 
> 
[...]
> 
> > This hits indirectly on something else I've been puzzling over. My
> > understanding is that the semantics of intersectionOf are if, not
iff
> 
> Incorrect.  You may be reading part of the RDFS-compatible semantics
for
> OWL and seeing the ``if''s there.  However, what makes the semantics
for
> owl:intersectionOf iff is the ``='' there.

When you say the semantics of intersectionOf are iff, do don't mean:

owl:intersectionOf A B  iff  extension of A = intersection of extensions
of classes in B

do you? That was the sense in which I meant it but I may be confusing
terms or being imprecise in their use.

[...]
> 
> peter

Thanks,

-Geoff

Received on Tuesday, 8 April 2003 09:34:17 UTC