RE: the other DAML+OIL semantics

(Ok, since I brought this up... (I already had some words offlist))

IMHO(!), dropping this axiom would be the way to go, since it doesn't match
the current RDF semantics, anyway. So this would really be a straightforward
fix for the inconsistency problem. 

Let me say that I only was about reporting this bug, and if there is a
simple fix, then I am glad. And I did not know that this is a well known
fact, sorry, I just run over this when trying to get a first impression of
the axiomatic semantics for DAML+OIL.

I am not able to tell whether the "rdfs:Class = rdf:Property = ..." problem,
which Peter reported, is hard to repair or not, but I would be glad to hear
that this can be fixed equally easily.

Greetings,
Michael

>-----Original Message-----
>From: Jeremy Carroll [mailto:jjc@hpl.hp.com] 
>Sent: Friday, February 08, 2008 11:56 AM
>To: Michael Schneider
>Cc: public-owl-wg@w3.org; dlm@ksl.stanford.edu; 
>fikes@ksl.stanford.edu; Peter F. Patel-Schneider
>Subject: Re: the other DAML+OIL semantics
>
>Michael Schneider wrote:
>> [Sent to OWL-WG and to the authors of the DAML+OIL axiomatic 
>semantics
>> document.]
>> 
>> Hello!
>> 
>> I claim that the axiomatic semantics for DAML+OIL, given by
>> 
>>     <http://www.w3.org/TR/daml+oil-axioms>
>> 
>> is inconsistent.
>
>
>I thought that was well-known - is it an interesting inconsistency or 
>merely a mistake?
>
>(4) The classes rdf:Property and rdfs:Class are disjoint, 
>because of the
>axiom
>
>     <http://www.w3.org/TR/daml+oil-axioms#3.1.3>
>
>
>this axiom simply looks wrong.
>
>Jeremy
>


--
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