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

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