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 message: [ Message body ]
Next message: Ian Horrocks: "Re: Proposed change to OWL DL semantics"
Previous message: Ian Horrocks: "Proposed change to OWL DL semantics"
Maybe in reply to: Ian Horrocks: "Proposed change to OWL DL semantics"
Next in thread: Ian Horrocks: "Re: Proposed change to OWL DL semantics"
Reply: Ian Horrocks: "Re: Proposed change to OWL DL semantics"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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