- From: Axel Polleres <axel.polleres@deri.org>
- Date: Sun, 09 Nov 2008 11:57:19 +0000
- To: Juan Sequeda <juanfederico@gmail.com>
- CC: Sören Auer <auer@informatik.uni-leipzig.de>, ashok.malhotra@oracle.com, public-xg-rdb2rdf@w3.org
All: Indeed, yes, the idea is that RIF will be the W3C standard format for exchanging datalog-style rules on the Web. as for the example requested by Ashok, I tried to sketch an example on my slides, if someone wants to sketch other examples in simple datalog I can hel pyou to RIFize them to get a better common understanding of the syntax. best, Axel Juan Sequeda wrote: > I also agree with Soeren. > > In our work[1], where we formalized all the direct mapping approaches > (RDB to OWL), we used FOL to represent the transformation rules. Theses > could then be used in Datalog, or any other rule engine to automatically > transform the RDB to OWL. > > [1] http://www.springerlink.com/content/mv58805364k31734/ > On Fri, Nov 7, 2008 at 2:16 PM, Sören Auer > <auer@informatik.uni-leipzig.de <mailto:auer@informatik.uni-leipzig.de>> > wrote: > > > ashok malhotra wrote: > > The proposal is that RIF be one possible syntax for the mapping > language, not the only syntax, correct? > > Seems reasonable. A rule consists of 2 parts and in our case > the parts may be, say, the name of an OWL class and the SQL > query that can be used to query that class, > > > I see the use of RIF more in the spirit of using datalog (which are > essentially also rules) for data integration. So the head of the > rule defines the resulting class, while the tail selects predicates > (from the relational DB). > > This seems to be consistent with slide 5 of Axel's talk, which we > unfortunately did not manage to discuss today since some of the > syntax there is not completely obvious to me. > > Have a nice weekend! > > Sören > > -- Dr. Axel Polleres Digital Enterprise Research Institute, National University of Ireland, Galway email: axel.polleres@deri.org url: http://www.polleres.net/
Received on Sunday, 9 November 2008 11:58:03 UTC