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>

>> 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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:55 UTC