Re: Proposed change to OWL DL semantics from Jos De_Roo on 2003-10-30 (www-webont-wg@w3.org from October 2003)

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 UTC