Re: Test cases and examples for dataset entailment

Very, very useful.

To show I have read the page ....

==

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

== 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.

	Andy

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