- From: Michael Sintek <sintek@dfki.uni-kl.de>
- Date: Wed, 04 Jan 2006 16:04:47 +0100
- To: Gerd Wagner <wagnerg@tu-cottbus.de>
- CC: public-rif-wg@w3.org, sintek@dfki.uni-kl.de
Gerd Wagner wrote: >>E.g., the straightforward mapping of RDF triples >><s,p,o> to Horn facts p(s,o), as mentioned >>on http://www.w3.org/2005/rules/wg/wiki/RDF_Compatibility >>at the beginning, would break "plain" RDF >>compatibility as simple queries which are supported >>by most (all?) RDF APIs and query langauages >>will not work: query patterns of the form >><s,?p,o> (i.e., where at least the predicate >>is a variable) cannot be mapped to first order >>queries (and thus not to Horn logic). > > > What about using "Common Horn Logic", i.e. > mapping RDF triples to atomic CL formulas? Gerd, could you please give us an example showing how this would solve the problem (i.e., avoiding higher order while providing simple RDF queries like the one above)? Or will your approach not avoid the need for higher order? Michael > > -Gerd > > --------------------------------------------- > Gerd Wagner > http://www.informatik.tu-cottbus.de/~wwwitec/ > Tel: 0355-69-2397 > Email: G.Wagner@tu-cottbus.de > > > > -- Michael Sintek -- DFKI GmbH, Kaiserslautern http://www.michael-sintek.de -- sintek@dfki.uni-kl.de phone: +49 631 205-3460 -- fax: +49 631 205-4910
Received on Wednesday, 4 January 2006 15:05:19 UTC