RDF-star semantics (as currently defined) is non-monotonic

[pchampin]

... and we obviously do not want this!

What is the problem?

More precisely:

<< :s :p "foo"^^xsd:integer >> :accordingTo :pa.

entails

<< s: :p [] >> :accordingTo :pa.

under simple entailment, but does not entail that anymore under D-entailment recognizing xsd:integer.

How to fix it?

An easy fix would be to change step 2.4 of the unstar mapping, more precisely:

• (b, unstar:object, o) unless o is an ill-typed literal

would simply become

• (b, unstar:object, o)

It means that ill-formed literals in quoted triples would now make the whole graph inconsistent -- which the current semantics aimed to avoid, but clearly that was not such a good idea...

[hartig]

Good catch! I am fine with the proposed fix.

[pchampin]

Probably best to fix the xsd;integer typo above, making it xsd:integer, in the "More precisely" discussion.

done, thanks

[afs]

+1 to the proposed fix.