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

Re: Test cases and examples for dataset entailment

From: Andy Seaborne <andy.seaborne@epimorphics.com>
Date: Tue, 11 Sep 2012 10:46:52 +0100
Message-ID: <504F088C.4000600@epimorphics.com>
To: public-rdf-wg@w3.org
Very, very useful.

To show I have read the page ....


Worth linking between T3.3 and T8.2 to show the different choices being 

== DD 2: "No semantics"

What is the status of:

{ :s :p :o1 , :o2 }

(there is a time/g-box issue here)

== Isomorphism:

(more of an observation)

Isomorphism equivalence is as much a consequence of the simple entailment

{ :s :p _:a1 } entails { :s :p _:a2 }

as much as the consequence of syntax.  "no semantics" might be misleading.

Received on Tuesday, 11 September 2012 09:47:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:07 UTC