Re: PROPOSAL to close ISSUE-83 (ACTION-51)

Following the precedent of OWL 1.0, this feature will not be added to  
OWL 1.1 DL (as defined in the Structural Specification and Functional- 
Style Syntax) because it is known to lead to undecidability. It can  
already be expressed in OWL 1.1 Full, because Full allows  
unrestricted use of all available syntactic structures (property  
chains in this case). The Working Group may give this feature a  
formal semantics and/or document its use in OWL 1.1 Full, provided  
that doing so does not impact the schedule of the working group.

Please note that the wording for closing this issue was Ian and my  
action item ACTION-51

-Alan

http://www.w3.org/2007/OWL/tracker/issues/83
http://www.w3.org/2007/OWL/tracker/actions/51

Received on Tuesday, 8 January 2008 04:51:56 UTC