- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Sun, 26 Oct 2014 09:20:56 -0700
- To: Holger Knublauch <holger@topquadrant.com>, public-data-shapes-wg@w3.org
On 10/25/2014 08:37 PM, Holger Knublauch wrote:
> On 10/26/2014 9:54, Peter F. Patel-Schneider wrote:
>> Consider the following situation:
>>
>> Domain graph:
>> a rdf:type A .
>> Ontology
>> B = { b }
>> Constraints
>> spin:constraint [ sp:text """ CONSTRUCT { _:cv a spin:ConstraintViolation }
>> WHERE { ?this rdf:type B } """ ]
>>
>> Is there a constraint violation here or not? Where is this behaviour
>> specified?
>
> [I assume you meant to write a rdf:type B above].
No. What I may have stupidly forgotten was to put B as the subject of the
constraint.
The point is that individuals may come from the OWL ontology, not the domain
graph.
> It would be a constraint violation, because there would be a SPIN constraint
> that looks for owl:oneOf triples under closed-world interpretation.
[...]
> Holger
>
>
peter
Received on Sunday, 26 October 2014 16:21:26 UTC