- From: Richard Cyganiak <richard@cyganiak.de>
- Date: Thu, 8 Nov 2012 00:52:19 +0000
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Ivan Herman <ivan@w3.org>, Guus Schreiber <guus.schreiber@vu.nl>, RDF WG <public-rdf-wg@w3.org>
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 UTC