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

using OWL to formalize web technologies motivates uniform treatment of datatype values (5.1)

From: Dan Connolly <connolly@w3.org>
Date: 19 Sep 2002 09:38:19 -0500
To: www-webont-wg@w3.org
Message-Id: <1032446299.2991.4232.camel@dirk>

Re my action 3.2 ISSUES 5.1 & 5.19
ACTION: Dan to elaborate his use cases/requirements on this. 


I hope/plan to formalize all sorts of stuff with RDF,
and I hope the OWL vocabulary will help.
In particular, retrospective formalization of
web technologies (and maybe even formalization
during/before deployment!).

Stuff like:

:Response u:subClassOf :Message;
  daml:disjointFrom :Request.

 -- http://www.w3.org/2001/03swell/http.n3

Now that example doesn't say anything about
datatypes, but there are others, like formalizing
the charmod spec, that do...


{ v:ccs a :CodedCharacterSet }
{ v:ccs a daml:UniqueProperty;
   u:domain [ a :Repertoire ];
   u:range dt:nonNegativeInteger;
 -- http://www.w3.org/2001/03swell/charmod.n3

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 19 September 2002 10:39:09 GMT

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