W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

Re: Defining cross products in OWL-1.1

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 12 Oct 2007 10:08:25 -0400 (EDT)
Message-Id: <20071012.100825.217876551.pfps@research.bell-labs.com>
To: sattler@cs.man.ac.uk
Cc: public-owl-dev@w3.org

From: Ulrike Sattler <sattler@cs.man.ac.uk>
Subject: Re: Defining cross products in OWL-1.1
Date: Fri, 12 Oct 2007 14:00:09 +0100

> On 12 Oct 2007, at 12:14, Michael Schneider wrote:

[...]

> >   A similar definition would be
> >      brother = sibling INTERSECTION range(Male)
> >   using range(x) as a shorthand for crossProduct(owl:Thing,x)

> this is a confusing shorthand:
> 
> - if a property p has range X, say Male, then, whenever we find a  
> tuple (a,b) in p, we know that b must be an instance of X. Eg,  
> whenever a has a brother b, then b must be Male.
> 
> - if we would say that p is the crossproduct between Y and X, then,  
> given any two instances y of Y and x of X, we know that (y,x) are in  
> p. This is very different from the above point.


Oops, yeah.  Sorry about that.

I meant the latter.

peter
Received on Friday, 12 October 2007 14:14:03 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT