Re: the other DAML+OIL semantics from Jeremy Carroll on 2008-02-08 (public-owl-wg@w3.org from February 2008)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 08 Feb 2008 10:56:25 +0000
To: Michael Schneider <schneid@fzi.de>
CC: public-owl-wg@w3.org, dlm@ksl.stanford.edu, fikes@ksl.stanford.edu, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Message-ID: <47AC3559.2010207@hpl.hp.com>

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

Received on Friday, 8 February 2008 10:57:03 UTC