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.

Yes

>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

To a first approximation, yes. That is, there might be some niggles 
still to get tidy, but its the best we can do at present.

Pat

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


-- 
---------------------------------------------------------------------
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
s.pam@ai.uwf.edu   for spam

Received on Wednesday, 6 November 2002 23:40:43 UTC