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