Index: owlsem55.txt
===================================================================
RCS file: /w3ccvs/WWW/2002/06/owlsem55.txt,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- owlsem55.txt	2002/06/28 17:40:41	1.1
+++ owlsem55.txt	2002/06/28 17:41:12	1.2
@@ -1,3 +1,7 @@
+An OWL model theory layered on RDF
+$Id: owlsem55.txt,v 1.2 2002/06/28 17:41:12 connolly Exp $
+
+
 As in [RDFMT], an interpretation I of a vocabulary V is
 
 1. A non-empty set IR of resources, called the domain or universe of I.
@@ -14,7 +18,8 @@
 
 Recall that ICEXT(x) abbreviates {y | <y,x> is in IEXT(I(rdf:type)) }.
 
-Additionally, owl reserves the following vocabulary:
+Each of the following terms is in the vocabulary (V) of every
+owl interpretation:
 
     * complementOf
     * differentFrom
@@ -44,10 +49,10 @@
     * versionInfo
 
 
-That is, it reserves the URI references
+That is, the URI references
   http://www.w3.org/2001/10/daml+oil#complementOf ,
   http://www.w3.org/2001/10/daml+oil#differentFrom ,
-and so on; in this document, we'll abbreviate these
+and so on are in V; in this document, we'll abbreviate these
 as ont:cardinality, ont:complementOf and so on.
 
 The following closure rules apply:
@@ -79,17 +84,15 @@
 onProperty/hasClass:
 if <?r, ?p> is in IEXT(I(ont:onProperty))
 and <?r, ?a> is in IEXT(I(ont:hasClass)),
-then the set
-  { ?o: for some ?s in ICEXT(?r), <?s, ?o> is in IEXT(?p)
-        and ?o is in ICEXT(?a) }
-has at least one element.
+then
+ ICEXT(?r) = { ?s : <?s,?x> in IEXT(?p) for some ?x in ICEXT(?a)  }
 
+
 onProperty/hasValue:
 if <?r, ?p> is in IEXT(I(ont:onProperty))
 and <?r, ?a> is in IEXT(I(ont:hasValue)),
 then the set
-  { ?o: for some ?s in ICEXT(?r), <?s, ?a> is in IEXT(?p) }
-isn't empty.
+  ICEXT(?r) = { ?s: <?s, ?a> in IEXT(?p) }
 
 
 imports:
@@ -274,11 +277,25 @@
  oneToManyOver, and ManyToOneOver.
 i.e. leaving just the maxcardinality 1 idioms.
 
+This model theory takes a fairly conservative position
+on "5.10 DAML+OIL semantics is too weak"
+http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.10-DAML-OIL-semantics-is-too-weak
+cf # DDTF/layering: weak class theory seems good enough (5.3, 5.10)
+  Dan Connolly (Tue, May 28 2002)
+http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0235.html
+
+This model theory doesn't address issue
+5.6 daml:imports as magic syntax
+http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.6-daml:imports-as-magic-syntax
+
+Jos DeRoo reported some initial successful
+implementation experience:
+  From: Jos De_Roo (jos.deroo.jd@belgium.agfa.com)
+  Date: Thu, Jun 20 2002
+  http://lists.w3.org/Archives/Public/www-webont-wg/2002Jun/0171.html
 
 [RDFMT]  RDF Model Theory
  W3C Working Draft 29 April 2002
  http://www.w3.org/TR/2002/WD-rdf-mt-20020429/
 esp section
  http://www.w3.org/TR/2002/WD-rdf-mt-20020429/#sinterp
-
-