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

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:
> Best, Jos

+43 1 58801 18470

Jos de Bruijn,
Many would be cowards if they had courage
  - Thomas Fuller

Received on Tuesday, 21 April 2009 10:01:11 UTC