W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

Re: Proposed change to OWL DL semantics

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 30 Oct 2003 01:35:36 +0100
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: www-webont-wg@w3.org
Message-ID: <OF5FA59CE5.A80EB4B1-ONC1256DCF.0000C24B-C1256DCF.00034235@agfa.be>


[...]

> - an OWL DL ontology would be inconsistent just in case the
> corresponding SHOIQ(Dn) knowledge base is inconsistent.

What about an OWL Full ontology being inconsistent??
(I don't know anything about SHOIQ(Dn) knowledge bases)


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 29 October 2003 19:35:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT