Figure out how to activate the reasoning machine in Virtuoso.

[candlecao]

So that we can (1) supplement some data to facilitate the reconciliation and semantic retrieval, (2) facilitate LLM2SPARQL.

[candlecao]

I have just learned how to open the reasoning machine(reasoner) using OWL or RDFS.
But I still don't know how to reason based on the owl:sameAs.

It doesn't matter, we can use this SPARQL as substitute:

PREFIX wdt: <http://www.wikidata.org/prop/direct/>

construct {
  ?InstanceA_wiki ?property ?InstanceB_wiki
  ?InstanceA_wiki ?property ?InstanceB_local.
  ?InstanceA_local ?property ?InstanceB_wiki.
}
where {
  ?InstanceA_local ?property ?InstanceB_local.
  ?InstanceA_local wdt:P2888 ?InstanceA_wiki.
  ?InstanceB_local wdt:P2888 ?InstanceB_wiki.
}

I would like to try it with @Yueqiao12Zhang, sometime.

[candlecao]

I will keep on exploring how to activate owl:sameAs before long.

[candlecao]

In pragmatic use, we can insert the triples into a designated graph, just by replacing CONSTRUCT by INSERT...GRAPH <>

PREFIX wdt: <http://www.wikidata.org/prop/direct/>

insert {
  graph <IRI of the designated graph> 
    {
      ?InstanceA_wiki ?property ?InstanceB_wiki.
      ?InstanceA_wiki ?property ?InstanceB_local.
      ?InstanceA_local ?property ?InstanceB_wiki.
    }
}
where {
  ?InstanceA_local ?property ?InstanceB_local.
  ?InstanceA_local wdt:P2888 ?InstanceA_wiki.
  ?InstanceB_local wdt:P2888 ?InstanceB_wiki.
}

[candlecao]

I figured out the method without using SPARQL.
See this example:

1. Import data with TTLP() via command-line ISQL

TTLP (
'@prefix wdt: <http://www.wikidata.org/prop/direct/> .
 <#InstanceA_local> <http://www.w3.org/2002/07/owl#sameAs> <#InstanceA_wiki> .
 <#InstanceB_local> <http://www.w3.org/2002/07/owl#sameAs> <#InstanceB_wiki> .
 <#InstanceA_local> wdt:P136 <#InstanceB_local> .
', '', 'http://g-sameAs', 0);

2. Query via ISQL

SPARQL 
define input:same-as "yes" 
prefix wdt: <http://www.wikidata.org/prop/direct/>
SELECT ?s FROM <http://g-sameAs> 
WHERE  {
  ?s ?p ?o ;
       wdt:P136  <#InstanceB_local> };

3. You may make a contrast with:

SPARQL 
--define input:same-as "yes" 
prefix wdt: <http://www.wikidata.org/prop/direct/>
SELECT ?s FROM <http://g-sameAs> 
WHERE  {
  ?s ?p ?o ;
       wdt:P136  <#InstanceB_local> };