- From: Jos de Bruijn <debruijn@inf.unibz.it>
- Date: Tue, 21 Apr 2009 12:00:31 +0200
- 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 UTC