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

RE: semantic layering document for the F2F

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 30 Sep 2002 20:15:58 +0100
To: "pat hayes" <phayes@ai.uwf.edu>, <www-webont-wg@w3.org>

Hi Pat,

here are boring comments on -


(typos etc.)

I have one or two more interesting comments that will wait til the morrow.

If E is:
and <x, y> is in IEXT(I(E)) 
then x is in IOR, y is in IOC and ICEXT(x) =
{u | <u, y> in IEXT(IRP(x)) }
incorrect, (y not in IOC).

Still one para about owl:UniqueProperty (that's gone in your later doc).

owl:Class rdf:subClassOf rdfs:Class .
owl:Restriction rdf:subClassOf owl:Class .
sp: rdfs:subClassOf

owl:inverseOf rdfs:domain owl:Property .
owl:inverseOf rdfs:range owl:Property .
sp: owl:ObjectProperty .

The more interesting message will be about my opinions about Issue 5.3 ...
(well more interesting to write at least!)

Received on Monday, 30 September 2002 15:12:58 GMT

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