W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

A way out of the "dark"

From: Massimo Marchiori <massimo@w3.org>
Date: Thu, 18 Apr 2002 03:49:13 +0200
To: <www-webont-wg@w3.org>
Message-ID: <NGBBJNKIMLOPPCFHEJEMAEJOCIAA.massimo@w3.org>
There would be much to say, but I'll try to be quick instead, and directly
provide a possible solution to the "dark triples / paradoxes" problem.
In whatever OWL language we construct, we could simply add the following
restriction on class expressions for the new OWL constructs:
class names are all Qnames, but for those defined in RDF(S) and OWL

Pro's:
+ makes things cleaner
+ helps a lot implementations
+ doesn't touch RDF, but only affects OWL
+ should get rid of all the problems we've had so far, and in fact
  should make much easier to formally prove properties of the system,
  like absence of paradoxes.

Con's:
- we lose reflection (so, eg, we won't be able to do an "OWL definition for
OWL",
  like RDFS, for example, does).
  But well... who *really* cares, at least for version 1 :)?

Now, some refinements:
a) the restriction could of course be made more permissive
b) to provide further extendability, we could in fact, for example, take out
from
   the class names all Qnames in http://www.w3.org/

Thoughts?
-M
Received on Wednesday, 17 April 2002 21:50:01 GMT

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