W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

ISSUE-27 (wrong-axiom-names): REPORTED: Wrong axiom names in "Nonstructural" chapter of OWL-1.1 draft

From: OWL <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2007 04:55:51 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071025045551.8EB3FBEEE@nelson.w3.org>


ISSUE-27 (wrong-axiom-names): REPORTED: Wrong axiom names in "Nonstructural" chapter of OWL-1.1 draft

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Alan Ruttenberg
On product: 

Reported by schn...@fzi.de, Oct 04, 2007
Chapter 7, "Nonstructural Restrictions on Axioms", of the OWL-1.1 draft
contains several wrong written Axiom names.

See <http://lists.w3.org/Archives/Public/public-owl-dev/2007OctDec/0051.html>.

Comment 1 by schn...@fzi.de, Oct 19 (5 days ago)
Additional typo in the definition of the "object property hierarchy relation":

  "* if Ax contains an axiom SymmetriceObjectProperty(PE), then [...]"
                                   ^^^^^^
"Symmetric[e]"^(redundant "e").
 
Received on Thursday, 25 October 2007 04:55:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT