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

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 UTC