W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

outline of semantics document [was Re: ADMIN: Minutes of Oct. 24 Telecon]

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 28 Oct 2002 07:37:37 -0500 (EST)
Message-Id: <20021028.073737.132784187.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

From: Leo Obrst <lobrst@mitre.org>
Subject: ADMIN: Minutes of Oct. 24 Telecon
Date: Sun, 27 Oct 2002 15:26:29 -0500


> PROPOSAL OF ISSUE 5.21 "Drop disjointUnionOf" ACCEPTED. Issue 5.21

I believe that Issue 5.21 has been CLOSED, not DROPPED.


> 4. DOCUMENT STATUS REVIEW - Semantics document (Hayes, Patel-Schneider)
> NEW ACTION: Peter will produce an outline with pointers.

The outline and, in fact, the contents, can be found at 


or by following the links in that document.

A version with all the contents in-line, suitable for printing, but not so
good for browsing, can be found at


This document now contains:

1/ the abstract syntax for OWL
2/ the direct model theory for the abstract syntax
3/ the mapping from the abstract syntax to n-triples
4/ an RDFS-compatible model theory starting with n-triples (for both Fast
   OWL and Large OWL)
5/ the proof that the two model theories correspond on abstract syntax KBs.

Received on Monday, 28 October 2002 07:37:48 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:36 UTC