W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2006

Re: RDF and OWL compatibility

From: Michael Sintek <sintek@dfki.uni-kl.de>
Date: Wed, 04 Jan 2006 16:04:47 +0100
Message-ID: <43BBE40F.3070104@dfki.uni-kl.de>
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 GMT

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