Re: SEM: current version of semantics document

I think it's great to see this coming together...
some specific questions about the status...

On Thu, 2002-10-31 at 13:18, Peter F. Patel-Schneider wrote:
> 
> The current version of the semantics document, which contains 
>   1/ the abstract syntax, 
>   2/ the direct model theory, 
>   3/ the mapping from abstract syntax to n-triples, and 
>   4/ the RDFS-compatible model theory,
> is available as a multi-part document at 
>   http://www-db.research.bell-labs.com/user/pfps/owl/semantics.html

This carries Pat's name (as well as Ian's an Franks) without
qualification, but I'd like confirmation that he's seen (or
otherwise agreed to) this version.

i.e. is it a candidate for discharging this action?
"ACTION Peter Patel-Schneider/Pat Hayes: draft OWL semantics, including
the "2 technical bits" [should also address issues 4.6, 5.9, 5.22]"
 -- http://www.w3.org/2001/sw/WebOnt/ftf4#Semantic

I don't see 5.9 nor 5.22 in "1.2. Stances Taken on OWL Issues"
http://www-db.research.bell-labs.com/user/pfps/owl/semantics.html#1.2

but I understand from your message of
31 Oct 2002 13:40:49 -0500 that this draft *does*
(propose to) address issue 5.9.

And this draft does address 5.22-owl:Class-still-needed
to my satisfaction, in (among other places)
"4.1. Definition of OWL Knowledge Bases in Triple Form"
http://www-db.research.bell-labs.com/user/pfps/owl/mapping.html#4.1

> and as a single-part document (suitable for printing, but some links go to 
> the multi-part document) at 
>   http://www-db.research.bell-labs.com/user/pfps/owl/semantics-all.html
> 
> Peter F. Patel-Schneider
> Bell Labs Research
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/