RE: semantic layering document for the F2F

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