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 

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]"

I don't see 5.9 nor 5.22 in "1.2. Stances Taken on OWL Issues"

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"

> and as a single-part document (suitable for printing, but some links go to 
> the multi-part document) at 
> Peter F. Patel-Schneider
> Bell Labs Research
Dan Connolly, W3C

Received on Thursday, 31 October 2002 14:41:33 UTC