Re: Sloppy inference rules

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 UTC