W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2003

RE: OWL Comment: have long CR period for OWL, or move owl:oneOf, owl: have Value to OWL Full

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 25 Jun 2003 17:27:36 +0300
To: www-rdf-logic@w3.org
Message-Id: <200306251727.36505.jjc@hpl.hp.com>

DanC:
> I expect complete implementations of OWL DL (for an empty
> datatype theory)


complete and terminating? (I.e. complete in the sense of the DL community?)

(i.e. proving non-entailment is complete and proving entailment is complete)

And do you expect this before OWL leaves CR?
And if so why did we delete the clause?

Jeremy
Received on Wednesday, 25 June 2003 11:55:32 GMT

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