- 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 -
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 UTC