- From: James Anderson <anderson.james.1955@gmail.com>
- Date: Fri, 22 Jan 2021 20:11:59 +0100
- To: public-rdf-star@w3.org
good evening;
> On 2021-01-22, at 18:49:13, Olaf Hartig <olaf.hartig@liu.se> wrote:
>
> On fredag 22 januari 2021 kl. 16:32:57 CET James Anderson wrote:
>> [...]
>> to remain with a simple question, if there is dataset which contains the
>> assertion
>>
>> << :cars :are :bad . >> a :claim .
>>
>> and one were to wish to cause a query of the _sort_
>>
>> ask where { << :automobiles :are :bad . >> a :claim . }
>>
>> to return true, how would one achieve that?
>
> Also for this question, before I attempt to answer it, I would like to know
> how you assume to capture the knowledge that the URIs :automobiles and :cars
> are meant to refer to the same thing?
> ...
> Can I assume that the reasoner/query engine has baked in the knowledge that
> :automobiles and :cars are meant to refer to the same thing? Or can I assume
> that there is also a second triple that captures this knowledge explicitly
> (e.g., via owl:sameAs) and the reasoner/query engine understands the meaning
> of this second triple and can use this meaning to make the inference needed to
> return true for the query?
>
> Notice that this question is independent of RDF*.
assume only that you have the facilities of the graph store protocol and the sparql protocol to operate on a dataset.
the respective endpoints share a dataset, which includes the initial rdf* statement as its initial state.
you can place any combination of requests to these endpoints.
what would those requests be?
Received on Friday, 22 January 2021 19:12:14 UTC