ISSUE-27: RESOLVED: Wrong axiom names in "Nonstructural" chapter of OWL-1.1 draft
wrong-axiom-names
RESOLVED: Wrong axiom names in "Nonstructural" chapter of OWL-1.1 draft
- State:
- CLOSED
- Product:
- Raised by:
- Alan Ruttenberg
- Opened on:
- 2007-10-25
- Description:
- 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").
- Related Actions Items:
- No related actions
- Related emails:
- ISSUE-27 (wrong-axiom-names): REPORTED: Wrong axiom names in 'Nonstructural' chapter of OWL-1.1 draft (from sysbot+tracker@w3.org on 2007-10-25)
Related notes:
I think that I got all the typos in SS&FS.
The message notes one typo in Semantics that is still to be done.
Ah, and I can see that the "semantics" document still uses
"AntisymmetricObjectProperty", while we had already discussed that this
naming should be changed into "AsymmetricObjectProperty", see thread
<http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/0235.html>.
I fixed the last two typos in this list (one in Semantics, one in Syntax).
See http://www.w3.org/2007/OWL/wiki/Teleconference.2007.11.14/Minutes
Ian Horrocks, 19 Nov 2007, 18:48:59Display change log
