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

Re: [RDF+OWL] Way of connecting RDF and RIF lists

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Tue, 28 Apr 2009 14:27:06 +0200
Message-ID: <49F6F61A.1090205@inf.unibz.it>
To: Sandro Hawke <sandro@w3.org>
CC: RIF <public-rif-wg@w3.org>
<snip/>

>> Actually, according to the RIF list semantics, List(ex:b | ex:c) does
>> not necessarily denote a list.  In some interpretations it will be a
>> list, and in other interpretations it is just some object.
>> This might actually be a problem.
>>
>
>    I can't find any actual real problem here...
> 


I could not think of a good example in BLD, but consider an extension of
BLD with existentials in the head. You could write:

Exists ?x (ex:p(List(ex:a | ?x)))


This does not entail:

Exists ?y (And(ex:p(List(ex:a | ?y)) is-list(?y)))



Received on Tuesday, 28 April 2009 12:27:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:05 GMT