Re: Bug in OWL 1.1 specification from Evren Sirin on 2007-01-26 (public-owl-dev@w3.org from January to March 2007)

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

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 UTC