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

Re: Some advice on inferring negated properties

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Fri, 17 Aug 2007 01:18:25 -0400
Message-Id: <A300EC15-32A6-4D65-B2F3-C0015A36FDD9@gmail.com>
Cc: "Swanson, Tim" <tim.swanson@semanticarts.com>, "Owl Dev" <public-owl-dev@w3.org>
To: Bijan Parsia <bparsia@cs.man.ac.uk>

On Aug 16, 2007, at 7:26 PM, Bijan Parsia wrote:

>
> 	<http://www.webont.org/owl/1.1/owl_specification.html#6.2>
> 	DisjointObjectProperties
>
> Which, well, at this time at night at least, I don't see can be  
> paraphrased into oldOWL. Hmm. Ok if you did some disjoint ranging  
> and domaining, that would entail disjoint properties.

True, though DisjointObjectProperties is stronger, yes, since it  
doesn't require disjoint domain/ranges, just that for any instance,  
the sets of values of the disjoint properties are disjoint. Do I have  
this right?

-Alan
Received on Friday, 17 August 2007 05:18:32 GMT

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