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

Re: Sloppy inference rules

From: Richard Cyganiak <richard@cyganiak.de>
Date: Thu, 8 Nov 2012 00:52:19 +0000
Cc: Ivan Herman <ivan@w3.org>, Guus Schreiber <guus.schreiber@vu.nl>, RDF WG <public-rdf-wg@w3.org>
Message-Id: <7EE6DC7C-3A65-46B7-A0B9-2A5D0220922D@cyganiak.de>
To: Pat Hayes <phayes@ihmc.us>
On 8 Nov 2012, at 00:22, Pat Hayes wrote:
> _: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.

But can't this trivially be solved by saying, “assume a semantics where {_:x ?p ?o} entails {skolem:x ?p ?o} for any x and vice versa”?

Best,
Richard



> 
> 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:52:46 GMT

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