- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 30 Oct 2003 09:23:43 +0000
- To: "Jos De_Roo" <jos.deroo@agfa.com>
- Cc: www-webont-wg@w3.org
On October 30, Jos De_Roo writes: > > > [...] > > > - 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) My proposal refers only to OWL DL. SHOIQ(Dn) is the DL that is equivalent to OWL DL. This equivalence is exploited my several of the existing OWL DL reasoners, including Cerebra, FaCT, Pellet and Racer. Ian > > > -- > Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ >
Received on Thursday, 30 October 2003 04:26:21 UTC