- From: Michael Schneider <schneid@fzi.de>
- Date: Thu, 4 Oct 2007 15:02:39 +0200
- To: "Owl Dev" <public-owl-dev@w3.org>
Hi! I found a few minor bugs in the OWL-1.1 draft. In chapter 7, "Nonstructural Restrictions on Axioms", of the OWL-1.1 draft http://www.webont.org/owl/1.1/owl_specification.html#7 several axiom names differ from the names given in the "functional syntax and semantics" document http://www.webont.org/owl/1.1/semantics.html#2 Here's the bug list: * In the second item list near the beginning of the chapter: * two times "ObjectPropertyTransitive" instead of "TransitiveObjectProperty". * In the last item list at the end of the chapter: * "ObjectPropertyFunctional", instead of "FunctionalObjectProperty" * "ObjectPropertyIrreflexive", instead of "IrreflexiveObjectProperty" * "ObjectPropertyAsymetric" (btw, only one "m"), instead of "AsymmetricObjectProperty"; 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>. * "DisjointObjectProperty" instead of "DisjointObjectProperties" (singular instead of plural) Cheers, Michael -- Dipl.-Inform. Michael Schneider FZI Forschungszentrum Informatik Karlsruhe Abtl. Information Process Engineering (IPE) Tel : +49-721-9654-726 Fax : +49-721-9654-727 Email: Michael.Schneider@fzi.de Web : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555 FZI Forschungszentrum Informatik an der Universität Karlsruhe Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe Tel.: +49-721-9654-0, Fax: +49-721-9654-959 Stiftung des bürgerlichen Rechts Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
Received on Thursday, 4 October 2007 13:03:02 UTC