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, 21 Apr 2009 12:00:31 +0200
Message-ID: <49ED993F.8050902@inf.unibz.it>
To: RIF <public-rif-wg@w3.org>
PS I believe the "RIF lists as extensions" semantics can be embedded in
RIF Core and the "One-To-One Mapping" semantics can be embedded in RIF
BLD, but not in RIF Core, because function symbols are necessary to
assert the existence of RDF list structures based on RIF lists and the
variables in the rule at hand.

Jos de Bruijn wrote:
> At the face-to-face, there seemed to be some support for connecting RDF
> lists and RIF lists in RDF-RIF combinations.  I believe this can be done
> by suitably extending the semantics of this combinations.  The following
> wiki page lists two possible extensions that both seem somehow
> reasonable.  Note that in both extensions the semantics of RDF lists is
> slightly restricted: we cannot allow the same element to identify two
> different lists.  This is illustrated by the test cases on the same wiki
> page:
> 
> http://www.w3.org/2005/rules/wiki/RIF-RDF-Lists
> 
> 
> 
> 
> Best, Jos
> 

-- 
+43 1 58801 18470        debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
Many would be cowards if they had courage
enough.
  - Thomas Fuller
Received on Tuesday, 21 April 2009 10:01:11 GMT

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