W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2009

Re: [OWL compatibility] #, ## in OWL compatibility

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 10 Sep 2009 18:46:01 +0200
Message-ID: <4AA92D49.2010500@inf.unibz.it>
To: kifer@cs.sunysb.edu
CC: Chris Welty <cawelty@gmail.com>, RIF <public-rif-wg@w3.org>


Michael Kifer wrote:
> 
> On Thu, 10 Sep 2009 10:59:03 -0400
> Chris Welty <cawelty@gmail.com> wrote:
> 
>> I was under the impression that option #3 was specifically not chosen because it 
>> leads to some undesirable property in BLD/OWL-DL combinations. 
> 
> This impression is wrong, as I understood from talking to Jos.

Indeed, as long as we suitably restrict the syntax of such atoms.

> 
>> Also, doesn't 
>> BLD allow the range and domain of # to be much larger than OWL-DL does for type?
> 
> That has already been taken care of by the restrictions imposed by RIF/OWL-DL
> combo.

Such restrictions are currently not there, but they could be added.


Best, Jos


Received on Thursday, 10 September 2009 16:46:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 10 September 2009 16:46:57 GMT