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

Re: Bug in OWL 1.1 specification

From: Evren Sirin <evren@clarkparsia.com>
Date: Fri, 26 Jan 2007 15:42:58 -0500
Message-ID: <45BA67D2.9030308@clarkparsia.com>
CC: public-owl-dev@w3.org

On 1/25/07 4:32 PM, Evren Sirin wrote:
>
> In Section 7 of "Structural Specification and Functional-Style Syntax" 
> document it is said that only simple properties (those that are not 
> transitive and do not have complex sub properties) can be used in 
> SelfRestriction's. But there is no need to restrict the properties 
> used  in SelfRestriction's. I think this restriction should be removed.
I'm sorry this was my misunderstanding. Reading SROIQ paper again 
reminded me that a transitive property can be defined as a 
ReflexiveProperty but cannot be used in SelfRestriction's. Sorry about 
the confusion.

Regards,
Evren
Received on Friday, 26 January 2007 20:43:09 GMT

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