W3C home > Mailing lists > Public > semantic-web@w3.org > September 2006

Re: Inheriting property restrictions

From: ben syverson <w3@likn.org>
Date: Thu, 7 Sep 2006 09:32:04 -0500
Message-Id: <1AFD6CB7-CD03-488A-B648-E211BAFF6173@likn.org>
To: semantic-web@w3.org

Hi,

On Sep 7, 2006, at 12:37 AM, Paul Gearon wrote:

> No, I think the specs are actually OK on this.  After all,  
> restrictions are formed through subclassing, and subclassing is  
> transitive.  It has a clear mathematical meaning.  Saying anything  
> else is redundant.

Maybe for the actual specs, but the OWL Guide goes out of its way to  
mention "Multiple domains mean that the domain of the property is the  
intersection of the identified classes (and similarly for  
range)." [1] I think the OWL guide, if not the specs, would have been  
an appropriate place to bring up the consequences of multiple  
conflicting restrictions on the same property and inherited  
restrictions.


> Collecting a lot of the misunderstandings together, and explaining  
> both the correct interpretation and WHY this interpretation is  
> valid would be very valuable to people learning OWL.

I agree completely. Something like an "OWL Implications" document, or  
even an "OWL Best Practices."

- ben

[1] http://www.w3.org/TR/2004/REC-owl-guide-20040210/#DefiningProperties
Received on Thursday, 7 September 2006 14:32:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:53 UTC