Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added SPASQL functionality to KBpedia-Wikidata built-in inference rule examples #14

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Added SPASQL functionality to KBpedia-Wikidata built-in inference rule examples #14

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
ecc82ec
Merge pull request #1 from OpenLinkSoftware/master
danielhmills Jul 16, 2020
7488e16
Merge pull request #2 from OpenLinkSoftware/master
danielhmills Jul 24, 2020
a2e2e85
Added relevant prefixes to SPASQL queries
danielhmills Jul 27, 2020
fb441f2
Added relevant prefixes to SPASQL queries
danielhmills Jul 27, 2020
032f02a
Added Wikidata and KBpedia prefixes + SPARQL-FED functionality
danielhmills Jul 28, 2020
a42c76e
Added Wikidata and KBpedia prefixes + SPARQL-FED functionality
danielhmills Jul 29, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
179 changes: 179 additions & 0 deletions reasoning-and-inference/built-in-reasoning-and-inference-kb-comedian.sql
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,179 @@
SPARQL CLEAR GRAPH <urn:qa:ifr:kbpedia:comedian:tbox>;
SPARQL CLEAR GRAPH <urn:qa:ifr:wikidata:comedian:tbox>;
SPARQL CLEAR GRAPH <urn:qa:ifr:wikidata:comedian:abox>;

--KBpedia Tbox (Terminology Box)

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

INSERT INTO GRAPH <urn:qa:ifr:kbpedia:comedian:tbox>
{
?class a ?o
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
FROM <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
WHERE
{
?class a ?o.
FILTER (?class = kbpedia:Comedian).
}
}

};

-- Wikidata Tbox (Terminology Box)

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

INSERT INTO GRAPH <urn:qa:ifr:wikidata:comedian:tbox>
{
?class a ?o
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
#FROM <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
WHERE
{
?class a ?o.
FILTER (?class = wd:Q245068).
}
}

};

-- Wikidata Abox (Assertions Box)

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

INSERT INTO GRAPH <urn:qa:ifr:wikidata:comedian:abox>
{
?entity ?p ?class
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
WHERE
{
?entity ?p ?class.
FILTER (?p = wdt:P106 && ?class = wd:Q245068).
}
LIMIT 100
}

};

SPARQL
CLEAR GRAPH <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip> ;
DELETE
FROM DB.DBA.SYS_RDF_SCHEMA
WHERE RS_NAME = 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules' ;

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

DELETE {
GRAPH <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
{
#kbpedia:Comedian owl:equivalentClass wd:Q245068 .
wd:Q245068 owl:equivalentClass kbpedia:Comedian .

}
} ;

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

INSERT {
GRAPH <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
{
kbpedia:Comedian owl:equivalentClass wd:Q245068 .
#wd:Q245068 owl:equivalentClass kbpedia:Comedian .
wdt:P106 rdfs:subPropertyOf rdf:type .
owl:equivalentProperty a owl:TransitiveProperty .
owl:equivalentClass a owl:TransitiveProperty.
rdfs:subPropertyOf a owl:TransitiveProperty .
rdfs:subClassOf a owl:TransitiveProperty .
}
} ;

RDFS_RULE_SET ('urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules', 'https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip') ;

SELECT *
FROM DB.DBA.SYS_RDF_SCHEMA
WHERE RS_NAME = 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules' ;

-- Tests

-- 1.1 Test using class kbpedia:Comedian


SPARQL
DEFINE input:inference 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules'
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

SELECT COUNT(*)
WHERE {
?s a kbpedia:Comedian .
} ;


-- Test 1.2: without reasoning

SPARQL
# DEFINE input:inference 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules'
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

SELECT COUNT(*)
WHERE {
?s a kbpedia:Comedian .
} ;

-- Tests

-- 2.1 Test using class wdt:Q245068

SPARQL
DEFINE input:inference 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules'
PREFIX wd: <http://www.wikidata.org/entity/>

SELECT COUNT(*)
WHERE {
?s a wd:Q245068 .
} ;

-- Test 2.2: without reasoning
SPARQL
# DEFINE input:inference 'urn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rules'
PREFIX wd: <http://www.wikidata.org/entity/>

SELECT COUNT(*)
WHERE {
?s a wd:Q245068 .
} ;
170 changes: 170 additions & 0 deletions reasoning-and-inference/built-in-reasoning-and-inference-kb-mime-artist.sql
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,170 @@
SPARQL CLEAR GRAPH <urn:qa:ifr:kbpedia:mime-artist:tbox>;
SPARQL CLEAR GRAPH <urn:qa:ifr:wikidata:mime-artist:tbox>;
SPARQL CLEAR GRAPH <urn:qa:ifr:wikidata:mime-artist:abox>;

--KBpedia Tbox (Terminology Box)

SPARQL

PREFIX wdt: <http://www.wikidata.org/entity/>
PREFIX wd: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

INSERT INTO GRAPH <urn:qa:ifr:kbpedia:stage-actor:tbox>
{
?class a ?o
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
#FROM <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
WHERE
{
?class a ?o.
FILTER (?class = kbpedia:Mime-Actor).
}
}

};

-- Wikidata Tbox (Terminology Box)

SPARQL

PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>
INSERT INTO GRAPH <urn:qa:ifr:wikidata:stage-actor:tbox>
{
?class a ?o
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
#FROM <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
WHERE
{
?class a ?o.
FILTER (?class = wd:Q674067).
}
}

};

-- Wikidata Abox (Assertions Box)

SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>
INSERT INTO GRAPH <urn:qa:ifr:wikidata:stage-actor:abox>
{
?entity ?p ?class
}

WHERE
{
SERVICE <https://wikidata.demo.openlinksw.com/sparql>
{
SELECT *
WHERE
{
?entity ?p ?class.
FILTER (?p = wdt:P106 && ?class = wd:Q674067).
}
LIMIT 100
}

};

-- Built-in inference rules

DELETE
FROM DB.DBA.SYS_RDF_SCHEMA
WHERE RS_NAME = 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules' ;


SPARQL
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX kbpedia: <http://kbpedia.org/kko/rc/>
INSERT {
GRAPH <https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip>
{
kbpedia:Mime-Actor owl:equivalentClass wd:Q674067 .
wdt:P106 rdfs:subPropertyOf rdf:type .
owl:equivalentProperty a owl:TransitiveProperty .
owl:equivalentClass a owl:TransitiveProperty.
rdfs:subPropertyOf a owl:TransitiveProperty .
rdfs:subClassOf a owl:TransitiveProperty .
}
} ;

RDFS_RULE_SET ('urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules', 'https://github.com/Cognonto/kbpedia/raw/master/versions/2.50/kbpedia_reference_concepts.zip') ;

SELECT *
FROM DB.DBA.SYS_RDF_SCHEMA
WHERE RS_NAME = 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules' ;

-- Tests

-- 1.1 Test using class kbpedia:Mime-Actor


SPARQL
DEFINE input:inference 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules'


PREFIX kbpedia: <http://kbpedia.org/kko/rc/>


SELECT COUNT(*)
WHERE {
?s a kbpedia:Mime-Actor .
} ;


-- Test 1.2: without reasoning

SPARQL
# DEFINE input:inference 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules'

PREFIX kbpedia: <http://kbpedia.org/kko/rc/>

SELECT COUNT(*)
WHERE {
?s a kbpedia:Mime-Actor .
} ;

-- Tests

-- 2.1 Test using class wdt:Q674067

SPARQL
DEFINE input:inference 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules'

PREFIX wd: <http://www.wikidata.org/entity/>

SELECT COUNT(*)
WHERE {
?s a wd:Q674067 .
} ;

-- Test 2.2: without reasoning
SPARQL
# DEFINE input:inference 'urn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rules'
PREFIX wd: <http://www.wikidata.org/entity/>


SELECT COUNT(*)
WHERE {
?s a wd:Q674067 .
} ;
Loading