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

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

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 28 Jun 2002 23:15:37 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OF883CAAB8.47DF4B9E-ONC1256BE6.0072738C@agfa.be>

> 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/
Received on Friday, 28 June 2002 17:16:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT