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>
Message-ID: <ENEKKODIOPDFKPGAOLNICEADCAAA.jjc@hpl.hp.com>


Hi Pat,

here are boring comments on -

http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-L.html

(typos etc.)

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

[[
If E is:
...
owl:hasValue
...
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 .
etc.
]]
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!)

Jeremy
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