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 · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:41:52 GMT


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