Re: Specific proposals for ISSUE-1

On 6/25/2015 12:28, Peter F. Patel-Schneider wrote:
>
>>>> Proposal 3: SHACL shall include another property sh:directValueType
>>>> that only matches the directly asserted types (for OSLC use case).
>>> What is the definition supporting "directly asserted"?
>> In SPARQL: EXISTS { ?this rdf:type ?directValueType }
> Is this as stated in the input documents?  After any initial processing by
> the triple store?  After forward-chaining rules?  After entailment regimies??

This is as whatever the graph returns (in the findSPO query). Whether 
the graph performs additional computing is out of scope here.

Holger

Received on Thursday, 25 June 2015 02:36:32 UTC