Layering document

I will do my best to get this thing finished by noon tomorrow, but 
the recent movement towards consensus has required a major re-write, 
and I may not get it finished to spec until the end of the day. There 
is a most-up-to-date edition always downloadable at

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

which I will be changing during the day and will send y'all an email 
when its done, probably some time later on Friday, then leave it 
strictly alone for F2F discussion prep.

Please anyone for whom this is unworkable, get in touch offline and 
we can work out something.

Pat

PS. the document now begins by defining OWL/RDF to be what was called 
"OWL encoded in fast OWL", ie sticks exactly to the mapping from the 
abstract syntax, and develops the whole semantics and makes the main 
layering point purely in that context. Then either you can stop 
reading, or go on to where it (will) discuss how to 'recognize' 
OWL/RDF in a wider RDF context, and what happens when you use the 
semantic conditions on fragments of OWL/RDF that are not 
abstract-syntax well-formed (hence my earlier query about isolated 
restriction property triples, BTW) . That corresponds roughly to 
"fast-OWL". Then it explores further, and looks at what happens if 
you relax the OWL/RDF restrictions to allow the OWL vocabulary to be 
used on more, er, relaxed RDF graphs. That goes into what were "weak 
OWL" and "large OWL" now re-christened and lumped together as 
varieties of 'wild' OWL/RDF. This way, all the really wild stuff 
about Russell contradictions and such matters is placed right at the 
end.

I hope this will be more acceptable to everyone.
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes

Received on Friday, 27 September 2002 01:38:45 UTC