Adaptation of the semantics

Hi all,

I just pushed a pull-request adapting the semantics:

I believe it has some advantages over the current version:

  * it does not rely anymore on "hidden" predicates (see issue #101
  * it does not have the "merging" issue warned about in ยง6.3.1
  * I think that it allows us to align SPARQL query semantics with
    simple entailment (as newly defined)
  * I think that it allows the Interpolation Lemma
    <> to extend to

(I didn't formally prove the last two items, hence "I think"...)

The trick is that we do not map anymore RDF-star graphs to a single, 
semantically equivalent RDF graph.
Instead, we map it to a pair of RDF graphs, which can be thought of as a 
"lower and upper bound" of the RDF-star graph, in terms of entailment. 
The semantics of the RDF-star graph is defined through the semantics of 
its "bounds", reusing RDF semantics as is (as we currently do).

In this new semantics, a strict RDF-star graph (i.e. one that contains 
embedded triples) has no exactly equivalent RDF graph, so it still can 
not be conveyed exactly using RDF syntaxes (but we do not rely anymore 
on hidden predicates for that). However, either of the two "bounds" can 
be used to approximate the RDF-star graph in legacy RDF. The "lower 
bound" will produce correct but incomplete inferences. The "upper bound" 
will produce complete inferences, with a few spurious (but generally 
harmless) ones.

I am curious to get some feedback on this.

Received on Friday, 5 March 2021 18:00:59 UTC