Re: Layering document

From: pat hayes <phayes@ai.uwf.edu>
Subject: Layering document
Date: Fri, 27 Sep 2002 00:38:59 -0500

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

I cannot guarantee an adequate review of the doucment if it is not
available around noon today.

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

I am fairly sure that I will not be able to give an adequate review of a
document of this form even if it is available by noon today.

peter

Received on Friday, 27 September 2002 07:36:01 UTC