Re: layering (5.3,5.10): a first-order same-syntax model theory

> On Thu, 2002-06-20 at 10:55, Dan Connolly wrote:
> [...]
> > I'll see if I can spin another draft presently...
>
> This revision integrates recent feedback:
>
>   An OWL model theory layered on RDF
>   $Id: owlsem55.txt,v 1.2 2002/06/28 17:41:12 connolly Exp $
>   http://www.w3.org/2002/06/owlsem55.txt
>   (contents attached, along with diffs
>   from previous version).

I think this is great to get started!

Could you also update it w.r.t.
[[[
5.11 hasClass/ToClass names
...
Name  I5.11-hasClass-ToClass-names 
Raised By  Jim Hendler 
Owner  Dan Connoly 
Date  20 May 2002 
Status  Closed, 13 Jun 02 
Resolution  Use names allValuesFrom and someValuesFrom.
]]]
-- 
http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.11-hasClass-ToClass-names

How strong are you pushing
    * intersectionOf1
    * intersectionOf2
    * oneOf1
    * oneOf2
    * unionOf1
    * unionOf2
instead of 
    * intersectionOf
    * oneOf
    * unionOf
(I just wanted to know wether I should test/run them...)
 
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/