W3C home > Mailing lists > Public > public-rdf-wg@w3.org > November 2012

Re: Sloppy inference rules

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 7 Nov 2012 18:22:08 -0600
Cc: Richard Cyganiak <richard@cyganiak.de>, Guus Schreiber <guus.schreiber@vu.nl>, RDF WG <public-rdf-wg@w3.org>
Message-Id: <A25CE776-DA42-4019-A5B8-5B45B8B08014@ihmc.us>
To: Ivan Herman <ivan@w3.org>

On Nov 7, 2012, at 9:34 AM, Ivan Herman wrote:

> 
> On Nov 7, 2012, at 10:17 , Pat Hayes wrote:
> 
> 
.............
>> So, no, you can't just use skolem URIs instead of bnodes in inference rules. The resulting rules would not even be logically valid. 
> 
> Interesting. Just for my intellectual curiosity: can you clarify that?

Sure. Take a simple example.

_:x :a ex:Fish .

does not entail

skolem:newname2346 :a ex:Fish .

So any rules that go from a bnode-containing triple to another triple containing the same bnode can't work by going 'through' triples in which the bnode is replaced by a skolemized URI.

Pat


------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 8 November 2012 00:22:47 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:52 GMT