RE: OWL.owl is broken

Hi Ivan!

Now, owl:oneOf is between owl:onProperties and owl:onProperty, but it should be in front of owl:onProperties. :)

Cheers,
Michael

>-----Original Message-----
>From: Ivan Herman [mailto:ivan@w3.org]
>Sent: Sunday, November 15, 2009 8:52 AM
>To: Michael Schneider
>Cc: Sandro Hawke; OWL 2
>Subject: Re: OWL.owl is broken
>
>No problems. Changes done.
>
>Ivan
>
>Michael Schneider wrote:
>> Hi Ivan and Sandro!
>>
>> I have now finished my checking of the owl.owl file against the Wiki
>version.
>>
>> I did not find any more technical problems.
>>
>> However, I found two editorial issues concerning the ordering of the
>entries.
>>
>> Let me explain first: There are two levels of ordering in both the
>Wiki and the Web version: First level is all classes come before all
>properties. Second level is lexicographical order of the term names.
>Both versions are aligned w.r.t. these orderings.
>>
>> Here are the two places where the ordering is wrong:
>>
>>   * owl:oneOf should come before owl:onProperties, but actually comes
>after owl:onProperty
>>
>>   * owl:versionIRI and owl:versionInfo are swapped
>>
>> Can someone please fix this?
>>
>> Btw, while checking I have also found an error of this form in the
>Wiki Version between owl:onProperty and owl:onProperties. I have already
>swapped them.
>>
>> Best,
>> Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
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, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================