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

Re: Proposed change to OWL DL semantics

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 30 Oct 2003 09:23:43 +0000
Message-ID: <16288.55455.54844.448576@merlin.horrocks.net>
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 GMT

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