PM-STR-0020

A State Restriction MUST be evaluated under a closed-world assumption with negation-as-failure: the absence of an asserted value for a Property MUST be treated as that Property having no value, not as unknown.

Non-normative: this is a correction to how the method is usually described rather than to how it was built. The 2013 prototype expressed rules in SPIN, which is SPARQL, which is closed-world. So the original system was already doing this; the OWL layer supplied vocabulary, not the entailment. Worth stating explicitly because "it is founded on OWL" invites the assumption that OWL semantics apply, and they cannot — the very first example in the sources is not expressible in OWL DL.