RE: OWL Comment: have long CR period for OWL, or move owl:oneOf, owl: have Value to OWL Full from Jeremy Carroll on 2003-06-25 (www-rdf-logic@w3.org from June 2003)

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 UTC