Lab Solutions: Difference between revisions
No edit summary |
No edit summary |
||
Line 1,163: | Line 1,163: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
Alternative solution. More pro from Andreas, but | Alternative solution. More pro from Andreas, but it's a not so thoroughly tested draft for us teacher assistents he stresses (it's new material for us), so you might need to make some changes (like the one recommended above: equivalent_to instead of is_a). | ||
<syntaxhighlight> | <syntaxhighlight> | ||
from owlready2 import get_ontology, Thing, ObjectProperty | from owlready2 import get_ontology, Thing, ObjectProperty | ||
Line 1,444: | Line 1,445: | ||
print(onto.StraightAStudent in cade.is_a) | print(onto.StraightAStudent in cade.is_a) | ||
</syntaxhighlight> | </syntaxhighlight> | ||
==Knowledge graph embeddings== | |||
https://colab.research.google.com/drive/1sHusTjvmHtV6PkzIatLTMPzHuseAF6N1?usp=sharing | |||
=More miscellaneous examples= | =More miscellaneous examples= |
Revision as of 11:42, 11 May 2022
This page will be updated with Python examples related to the lectures and labs. We will add more examples after each lab has ended. The first examples will use Python's RDFlib. We will introduce other relevant libraries later.
Example lab solutions
Getting started
from rdflib.collection import Collection
from rdflib import Graph, Namespace, Literal, URIRef
from rdflib.namespace import RDF, FOAF, XSD
g = Graph()
EX = Namespace('http://EXample.org/')
RL = Namespace('http://purl.org/vocab/relationship/')
DBO = Namespace('https://dbpedia.org/ontology/')
DBR = Namespace('https://dbpedia.org/page/')
g.namespace_manager.bind('exampleURI', EX)
g.namespace_manager.bind('relationship', RL)
g.namespace_manager.bind('dbpediaOntology', DBO)
g.namespace_manager.bind('dbpediaPage', DBR)
g.add((EX.Cade, RDF.type, FOAF.Person))
g.add((EX.Mary, RDF.type, FOAF.Person))
g.add((EX.Cade, RL.spouseOf, EX.Mary)) # a symmetrical relation from an established namespace
g.add((DBR.France, DBO.capital, DBR.Paris))
g.add((EX.Cade, FOAF.age, Literal(27)))
g.add((EX.Mary, FOAF.age, Literal('26', datatype=XSD.int)))
Collection (g, EX.MaryInterests, [EX.hiking, EX.choclate, EX.biology])
g.add((EX.Mary, EX.hasIntrest, EX.MaryInterests))
g.add((EX.Mary, RDF.type, EX.student))
g.add((DBO.capital, EX.range, EX.city))
g.add((EX.Mary, RDF.type, EX.kind))
g.add((EX.Cade, RDF.type, EX.kindPerson))
#hobbies = ['hiking', 'choclate', 'biology']
#for i in hobbies:
# g.add((EX.Mary, FOAF.interest, EX[i]))
print(g.serialize(format="turtle"))
RDFlib
from rdflib.namespace import RDF, XSD, FOAF
from rdflib import Graph, Namespace, Literal, BNode
from rdflib.collection import Collection
g = Graph()
ex = Namespace('http://example.org/')
schema = Namespace("https://schema.org/")
dbp = Namespace("https://dbpedia.org/resource/")
g.bind("ex", ex)
g.bind("dbp", dbp)
g.bind("schema", schema)
address = BNode()
degree = BNode()
# from lab 1
g.add((ex.Cade, FOAF.name, Literal("Cade Tracey", datatype=XSD.string)))
g.add((ex.Mary, FOAF.name, Literal("Mary", datatype=XSD.string)))
g.add((ex.Cade, RDF.type, FOAF.Person))
g.add((ex.Mary, RDF.type, FOAF.Person))
g.add((ex.Mary, RDF.type, ex.Student))
g.add((ex.Cade, ex.married, ex.Mary))
g.add((ex.Cade, FOAF.age, Literal('27', datatype=XSD.int)))
g.add((ex.Mary, FOAF.age, Literal('26', datatype=XSD.int)))
g.add((ex.Paris, RDF.type, ex.City))
g.add((ex.France, ex.Capital, ex.Paris))
g.add((ex.Mary, FOAF.interest, ex.hiking))
g.add((ex.Mary, FOAF.interest, ex.Chocolate))
g.add((ex.Mary, FOAF.interest, ex.biology))
g.add((ex.France, ex.City, ex.Paris))
g.add((ex.Mary, ex.Characterostic, ex.kind))
g.add((ex.Cade, ex.Characterostic, ex.kind))
g.add((ex.France, RDF.type, ex.Country))
g.add((ex.Cade, schema.address, address))
# BNode address
g.add((address, RDF.type, schema.PostalAdress))
g.add((address, schema.streetAddress, Literal('1516 Henry Street')))
g.add((address, schema.addresCity, dbp.Berkeley))
g.add((address, schema.addressRegion, dbp.California))
g.add((address, schema.postalCode, Literal('94709')))
g.add((address, schema.addressCountry, dbp.United_States))
# More info about Cade
g.add((ex.Cade, ex.Degree, degree))
g.add((degree, ex.Field, dbp.Biology))
g.add((degree, RDF.type, dbp.Bachelors_degree))
g.add((degree, ex.Universety, dbp.University_of_California))
g.add((degree, ex.year, Literal('2001', datatype=XSD.gYear)))
# Emma
emma_degree = BNode()
g.add((ex.Emma, FOAF.name, Literal("Emma Dominguez", datatype=XSD.string)))
g.add((ex.Emma, RDF.type, FOAF.Person))
g.add((ex.Emma, ex.Degree, emma_degree))
g.add((degree, ex.Field, dbp.Chemistry))
g.add((degree, RDF.type, dbp.Masters_degree))
g.add((degree, ex.Universety, dbp.University_of_Valencia))
g.add((degree, ex.year, Literal('2015', datatype=XSD.gYear)))
# Address
emma_address = BNode()
g.add((ex.Emma, schema.address, emma_address))
g.add((emma_address, RDF.type, schema.PostalAdress))
g.add((emma_address, schema.streetAddress,
Literal('Carrer de la Guardia Civil 20')))
g.add((emma_address, schema.addressRegion, dbp.Valencia))
g.add((emma_address, schema.postalCode, Literal('46020')))
g.add((emma_address, schema.addressCountry, dbp.Spain))
b = BNode()
g.add((ex.Emma, ex.visit, b))
Collection(g, b,
[dbp.Portugal, dbp.Italy, dbp.France, dbp.Germany, dbp.Denmark, dbp.Sweden])
SPARQL - Blazegraph
PREFIX ex: <http://example.org/>
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xml: <http://www.w3.org/XML/1998/namespace>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
#select all triplets in graph
SELECT ?s ?p ?o
WHERE {
?s ?p ?o .
}
#select the interestes of Cade
SELECT ?cadeInterest
WHERE {
ex:Cade ex:interest ?cadeInterest .
}
#select the country and city where Emma lives
SELECT ?emmaCity ?emmaCountry
WHERE {
ex:Emma ex:address ?address .
?address ex:city ?emmaCity .
?address ex:country ?emmaCountry .
}
#select the people who are over 26 years old
SELECT ?person ?age
WHERE {
?person ex:age ?age .
FILTER(?age > 26) .
}
#select people who graduated with Bachelor
SELECT ?person ?degree
WHERE {
?person ex:degree ?degree .
?degree ex:degreeLevel "Bachelor" .
}
# delete cades photography interest
DELETE DATA
{
ex:Cade ex:interest ex:Photography .
}
# delete and insert university of valencia
DELETE { ?s ?p ex:University_of_Valencia }
INSERT { ?s ?p ex:Universidad_de_Valencia }
WHERE { ?s ?p ex:University_of_Valencia }
#check if the deletion worked
SELECT ?s ?o2
WHERE {
?s ex:degree ?o .
?o ex:degreeSource ?o2 .
}
#describe sergio
DESCRIBE ex:Sergio ?o
WHERE {
ex:Sergio ?p ?o .
?o ?p2 ?o2 .
}
SPARQL - RDFlib
from SPARQLWrapper import SPARQLWrapper, JSON, POST, GET, TURTLE
namespace = "lab4"
sparql = SPARQLWrapper("http://10.111.21.183:9999/blazegraph/namespace/"+ namespace + "/sparql")
# Print out Cades interests
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT * WHERE {
ex:Cade ex:interest ?interest.
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["interest"]["value"])
# Print Emmas city and country
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT ?emmaCity ?emmaCountry
WHERE {
ex:Emma ex:address ?address .
?address ex:city ?emmaCity .
?address ex:country ?emmaCountry .
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print("Emma's city is "+result["emmaCity"]["value"]+" and Emma's country is " + result["emmaCountry"]["value"])
#Select the people who are over 26 years old
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT ?person ?age
WHERE {
?person ex:age ?age .
FILTER(?age > 26) .
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print("All people who are over 26 years old: "+result["person"]["value"])
#Select people who graduated with Bachelor
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT ?person ?degree
WHERE {
?person ex:degree ?degree .
?degree ex:degreeLevel "Bachelor" .
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print("People who graduated with Bachelor: "+result["person"]["value"])
#Delete cades photography interest
sparql.setQuery("""
PREFIX ex: <http://example.org/>
DELETE DATA {
ex:Cade ex:interest ex:Photography .
}
""")
sparql.setMethod(POST)
results = sparql.query()
print(results.response.read())
# Print out Cades interests again
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT * WHERE {
ex:Cade ex:interest ?interest.
}
""")
sparql.setReturnFormat(JSON)
sparql.setMethod(GET)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["interest"]["value"])
# Check university names
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT ?s ?o2
WHERE {
?s ex:degree ?o .
?o ex:degreeSource ?o2 .
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["o2"]["value"])
#Delete and insert university of valencia
sparql.setQuery("""
PREFIX ex: <http://example.org/>
DELETE { ?s ?p ex:University_of_Valencia }
INSERT { ?s ?p ex:Universidad_de_Valencia }
WHERE { ?s ?p ex:University_of_Valencia }
""")
sparql.setMethod(POST)
results = sparql.query()
print(results.response.read())
# Check university names again
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT ?s ?o2
WHERE {
?s ex:degree ?o .
?o ex:degreeSource ?o2 .
}
""")
sparql.setReturnFormat(JSON)
sparql.setMethod(GET)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["o2"]["value"])
#Insert Sergio
sparql.setQuery("""
PREFIX ex: <http://example.org/>
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
INSERT DATA {
ex:Sergio a foaf:Person ;
ex:address [ a ex:Address ;
ex:city ex:Valenciay ;
ex:country ex:Spain ;
ex:postalCode "46021"^^xsd:string ;
ex:state ex:California ;
ex:street "4_Carrer_del_Serpis"^^xsd:string ] ;
ex:degree [ ex:degreeField ex:Computer_science ;
ex:degreeLevel "Master"^^xsd:string ;
ex:degreeSource ex:University_of_Valencia ;
ex:year "2008"^^xsd:gYear ] ;
ex:expertise ex:Big_data,
ex:Semantic_technologies,
ex:Machine_learning;
foaf:name "Sergio_Pastor"^^xsd:string .
}
""")
sparql.setMethod(POST)
results = sparql.query()
print(results.response.read())
sparql.setMethod(GET)
# Describe Sergio
sparql.setReturnFormat(TURTLE)
sparql.setQuery("""
PREFIX ex: <http://example.org/>
DESCRIBE ex:Sergio ?o
WHERE {
ex:Sergio ?p ?o .
?o ?p2 ?o2 .
}
""")
results = sparql.query().convert()
print(results.serialize(format='turtle'))
# Construct that any city is in the country in an address
sparql.setQuery("""
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX ex: <http://example.org/>
CONSTRUCT {?city ex:locatedIn ?country}
Where {
?s rdf:type ex:Address .
?s ex:city ?city .
?s ex:country ?country.
}
""")
sparql.setReturnFormat(TURTLE)
results = sparql.query().convert()
print(results.serialize(format='turtle'))
Web APIs and JSON-LD
import requests
from rdflib import FOAF, Namespace, Literal, RDF, Graph, TURTLE
r = requests.get('http://api.open-notify.org/astros.json').json()
g = Graph()
EX = Namespace('http://EXample.org/')
g.bind("ex", EX)
for item in r['people']:
craft = item['craft'].replace(" ","_")
person = item['name'].replace(" ","_")
g.add((EX[person], EX.onCraft, EX[craft]))
g.add((EX[person], RDF.type, FOAF.Person))
g.add((EX[person], FOAF.name, Literal(item['name'])))
g.add((EX[craft], FOAF.name, Literal(item['craft'])))
res = g.query("""
CONSTRUCT {?person1 foaf:knows ?person2}
WHERE {
?person1 ex:onCraft ?craft .
?person2 ex:onCraft ?craft .
}
""")
for triplet in res:
# (we don't need to add that they know themselves)
if (triplet[0] != triplet[2]):
g.add((triplet))
print(g.serialize(format="turtle"))
Semantic lifting - CSV
import pandas as pd
from rdflib import Graph, Namespace, URIRef, Literal
from rdflib.namespace import RDF, XSD
import spotlight
from spotlight import SpotlightException
# Parameter given to spotlight to filter out results with confidence lower than this value
CONFIDENCE = 0.5
SERVER = "https://api.dbpedia-spotlight.org/en/annotate"
def annotate_entity(entity):
annotations = []
try:
annotations = spotlight.annotate(address=SERVER,text=entity, confidence=CONFIDENCE)
# This catches errors thrown from Spotlight, including when no resource is found in DBpedia
except SpotlightException as e:
print(e)
return annotations
ex = Namespace("http://example.org/")
dbr = Namespace("http://dbpedia.org/resource/")
dbp = Namespace("https://dbpedia.org/property/")
dbpage = Namespace("https://dbpedia.org/page/")
sem = Namespace("http://semanticweb.cs.vu.nl/2009/11/sem/")
tl = Namespace("http://purl.org/NET/c4dm/timeline.owl#")
g = Graph()
g.bind("ex", ex)
g.bind("dbr", dbr)
g.bind("dbp", dbp)
g.bind("dbpage", dbpage)
g.bind("sem", sem)
g.bind("tl", tl)
df = pd.read_csv("russia-investigations.csv")
# We need to correct the type of the columns in the DataFrame, as Pandas assigns an incorrect type when it reads the file (for me at least). We use .astype("str") to convert the content of the columns to a string.
df["name"] = df["name"].astype("str")
df["type"] = df["type"].astype("str")
# iterrows creates an iterable object (list of rows)
for index, row in df.iterrows():
investigation = URIRef(ex + row['investigation'])
investigation_spotlight = annotate_entity(row['investigation'])
investigation_start = Literal(row['investigation-start'], datatype=XSD.date)
investigation_end = Literal(row['investigation-end'], datatype=XSD.date)
investigation_days = Literal(row['investigation-days'], datatype=XSD.integer)
name = Literal(row['name'], datatype=XSD.string)
name_underscore = URIRef(dbpage + row['name'].replace(" ", "_"))
investigation_result = URIRef(
ex + row['investigation'] + "_investigation_" + row['name'].replace(" ", "_"))
indictment_days = Literal(row['indictment-days'], datatype=XSD.integer)
type = URIRef(dbr + row['type'].replace(" ", "_"))
cp_date = Literal(row['cp-date'], datatype=XSD.date)
cp_days = Literal(row['cp-days'], datatype=XSD.duration)
overturned = Literal(row['overturned'], datatype=XSD.boolean)
pardoned = Literal(row['pardoned'], datatype=XSD.boolean)
american = Literal(row['american'], datatype=XSD.boolean)
president = Literal(row['president'], datatype=XSD.string)
president_underscore = URIRef(dbr + row['president'].replace(" ", "_"))
president_spotlight = annotate_entity(row['president'])
try:
g.add((( URIRef(investigation_spotlight[0]["URI"]), RDF.type, sem.Event)))
except:
g.add((investigation, RDF.type, sem.Event))
try:
g.add((( URIRef(investigation_spotlight[0]["URI"]), sem.hasBeginTimeStamp, investigation_start)))
except:
g.add((investigation, sem.hasBeginTimeStamp, investigation_start))
try:
g.add((( URIRef(investigation_spotlight[0]["URI"]), sem.hasEndTimeStamp, investigation_end)))
except:
g.add((investigation, sem.hasEndTimeStamp, investigation_end))
try:
g.add((URIRef(investigation_spotlight[0]["URI"]), tl.duration, investigation_days))
except:
g.add((investigation, tl.duration, investigation_days))
try:
g.add((URIRef(investigation_spotlight[0]["URI"]), dbp.president, URIRef(president_spotlight[0]["URI"])))
except:
g.add((investigation, dbp.president, dbr.president_underscore))
try:
g.add((URIRef(investigation_spotlight[0]["URI"]), sem.hasSubEvent, investigation_result))
except:
g.add((investigation, sem.hasSubEvent, investigation_result))
g.add((investigation_result, ex.resultType, type))
g.add((investigation_result, ex.objectOfInvestigation, name_underscore))
g.add((investigation_result, ex.isAmerican, american))
g.add((investigation_result, ex.indictmentDuration, indictment_days))
g.add((investigation_result, ex.caseSolved, cp_date))
g.add((investigation_result, ex.daysBeforeCaseSolved, cp_days))
g.add((investigation_result, ex.overturned, overturned))
g.add((investigation_result, ex.pardoned, pardoned))
g.serialize("output.ttl", format="ttl")
RDFS
from rdflib.namespace import RDF, FOAF, XSD, RDFS
from rdflib import OWL, Graph, Namespace, URIRef, Literal, BNode
from rdflib.namespace import RDF, RDFS, XSD, OWL
import owlrl
ex = Namespace("http://example.org/")
dbr = Namespace("http://dbpedia.org/resource/")
dbp = Namespace("https://dbpedia.org/property/")
dbpage = Namespace("https://dbpedia.org/page/")
sem = Namespace("http://semanticweb.cs.vu.nl/2009/11/sem/")
tl = Namespace("http://purl.org/NET/c4dm/timeline.owl#")
g = Graph()
g.bind("ex", ex)
g.bind("dbr", dbr)
g.bind("dbp", dbp)
g.bind("dbpage", dbpage)
g.bind("sem", sem)
g.bind("tl", tl)
g.parse(location="exampleTTL.ttl", format="turtle")
# University of California and University of Valencia are both Universities.
g.add((ex.University_of_California, RDF.type, ex.University))
g.add((ex.University_of_Valencia, RDF.type, ex.University))
# All universities are higher education institutions (HEIs).
g.add((ex.University, RDFS.subClassOf, ex.Higher_education))
# Only persons can have an expertise, and what they have expertise in is always a subject.
g.add((ex.expertise, RDFS.domain, FOAF.Person))
g.add((ex.expertise, RDFS.range, ex.subject))
# Only persons can graduate from a HEI.
g.add((ex.graduatedFromHEI, RDFS.domain, FOAF.Person))
g.add((ex.graduatedFromHEI, RDFS.range, ex.Higher_education))
# If you are a student, you are in fact a person as well.
g.add((ex.Student, RDFS.subClassOf, FOAF.Person))
# That a person is married to someone, means that they know them.
g.add((ex.married, RDFS.subPropertyOf, FOAF.knows))
# Finally, if a person has a name, that name is also the label of that entity."
g.add((FOAF.name, RDFS.subPropertyOf, RDFS.label))
# Having a degree from a HEI means that you have also graduated from that HEI.
g.add((ex.graduatedFromHEI, RDFS.subPropertyOf, ex.degree))
# That a city is a capital of a country means that this city is located in that country.
g.add((ex.capital, RDFS.domain, ex.Country))
g.add((ex.capital, RDFS.range, ex.City))
g.add((ex.capital, RDFS.subPropertyOf, ex.hasLocation))
# That someone was involved in a meeting, means that they have met the other participants.
# This question was bad for the RDFS lab because we need complex OWL or easy sparql.
res = g.query("""
CONSTRUCT {?person1 ex:haveMet ?person2}
WHERE {
?person1 ex:meeting ?Meeting .
?Meeting ex:involved ?person2 .
}
""")
for triplet in res:
#we don't need to add that people have met themselves
if (triplet[0] != triplet[2]):
g.add((triplet))
# If someone partook in a meeting somewhere, means that they have visited that place"
# This question was bad for the RDFS lab for the same reason.
res = g.query("""
CONSTRUCT {?person ex:hasVisited ?place}
WHERE {
?person1 ex:meeting ?Meeting .
?Meeting ex:location ?place .
}
""")
for triplet in res:
g.add((triplet))
rdfs = owlrl.OWLRL.OWLRL_Semantics(g, False, False, False)
rdfs.closure()
rdfs.flush_stored_triples()
g.serialize("output.ttl",format="ttl")
OWL 1
import owlrl
from rdflib import Graph, Namespace, Literal, URIRef
from rdflib.namespace import RDF, RDFS, XSD, FOAF, OWL
from rdflib.collection import Collection
g = Graph()
print()
# Namespaces
ex = Namespace("http://example.org/")
dbp = Namespace("http://dbpedia.org/resource/")
geo = Namespace("http://sws.geonames.org/")
schema = Namespace("https://schema.org/")
akt = Namespace("http://www.aktors.org/ontology/portal#")
vcard = Namespace("http://www.w3.org/2006/vcard/ns#")
g.bind("ex", ex)
g.bind("owl", OWL)
g.parse(location="lab8turtle.txt", format="turtle")
# Cade and Emma are two different persons.
g.add((ex.Cade, OWL.differentFrom, ex.Emma))
# The country USA above is the same as the DBpedia resource http://dbpedia.org/resource/United_States (dbr:United_States) and the GeoNames resource http://sws.geonames.org/6252001/ (gn:6252001).
g.add((ex.USA, OWL.sameAs, dbp.United_States))
g.add((ex.USA, OWL.sameAs, geo["6252001"]))
# The person class (the RDF type the Cade and Emma resources) in your graph is the same as FOAF's, schema.org's and AKT's person classes
# (they are http://xmlns.com/foaf/0.1/Person, http://schema.org/Person, and http://www.aktors.org/ontology/portal#Person, respectively.
g.add((FOAF.Person, OWL.sameAs, schema.Person))
g.add((FOAF.Person, OWL.sameAs, akt.Person))
# Nothing can be any two of a person, a university, or a city at the same time.
Collection(g, ex.DisjointClasses, [FOAF.Person, ex.University, ex.City])
g.add((OWL.AllDifferent, OWL.distinctMembers, ex.DisjointClasses))
# The property you have used in your RDF/RDFS graph to represent that 94709 is the US zip code of Berkeley, California in US
# is a subproperty of VCard's postal code-property (http://www.w3.org/2006/vcard/ns#postal-code).
g.add((ex.postalCode, RDFS.subPropertyOf, vcard["postal-code"]))
# No two US cities can have the same postal code.
# We have to add a relation from city to postal code first
res = g.query("""
PREFIX RDF: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX ex: <http://example.org/>
CONSTRUCT {?usa_city ex:us_city_postal_code ?postalcode}
WHERE {
?address RDF:type ex:Address .
?address ex:country ex:USA .
?address ex:city ?usa_city .
?address ex:postalCode ?postalcode
}
""")
for triplet in res:
g.add((triplet))
# Now we can make us cities have distinct postal codes
g.add((ex.us_city_postal_code, RDF.type, OWL.FunctionalProperty))
g.add((ex.us_city_postal_code, RDF.type, OWL.InverseFunctionalProperty))
g.add((ex.us_city_postal_code, RDFS.subPropertyOf, ex.postalcode))
# The property you have used for Emma living in Valencia is the same property as FOAF's based-near property
# (http://xmlns.com/foaf/0.1/based_near), and it is the inverse of DBpedia's hometown property (http://dbpedia.org/ontology/hometown, dbo:hometown).
g.add((ex.city, OWL.sameAs, FOAF.based_near))
g.add((ex.city, OWL.inverseOf, dbp.hometown))
g.add((ex.Cade, ex.married, ex.Mary))
g.add((ex.Cade, ex.livesWith, ex.Mary))
g.add((ex.Cade, ex.sibling, ex.Andrew))
g.add((ex.Cade, ex.hasFather, ex.Bob))
g.add((ex.Bob, ex.fatherOf, ex.Cade))
#Look through the predicates(properties) above and add new triples for each one that describes them as any of the following:
# a reflexive , irreflexive, symmetric, asymmetric, transitive, functional, or an Inverse Functional Property.
g.add((ex.married, RDF.type, OWL.SymmetricProperty))
g.add((ex.married, RDF.type, OWL.FunctionalProperty))
g.add((ex.married, RDF.type, OWL.InverseFunctionalProperty))
g.add((ex.married, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.livesWith, RDF.type, OWL.SymmetricProperty))
g.add((ex.livesWith, RDF.type, OWL.ReflexiveProperty))
g.add((ex.livesWith, RDF.type, OWL.TransitiveProperty))
g.add((ex.sibling, RDF.type, OWL.SymmetricProperty))
g.add((ex.hasFather, RDF.type, OWL.AsymmetricProperty))
g.add((ex.hasFather, RDF.type, OWL.FunctionalProperty))
g.add((ex.hasFather, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.fatherOf, RDF.type, OWL.AsymmetricProperty))
g.add((ex.fatherOf, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.fatherOf, RDF.type, OWL.InverseFunctionalProperty))
g.add((ex.fatherOf, RDF.type, OWL.IrreflexiveProperty))
# These three lines add inferred triples to the graph.
owl = owlrl.CombinedClosure.RDFS_OWLRL_Semantics(g, False, False, False)
owl.closure()
owl.flush_stored_triples()
g.serialize("lab8output.xml",format="xml")
Semantic lifting - XML
from rdflib import Graph, Literal, Namespace, URIRef
from rdflib.namespace import RDF
import xml.etree.ElementTree as ET
import requests
g = Graph()
ex = Namespace("http://example.org/")
prov = Namespace("http://www.w3.org/ns/prov#")
g.bind("ex", ex)
g.bind("prov", prov)
# URL of xml data
url = 'http://feeds.bbci.co.uk/news/rss.xml'
# Retrieve the xml data from the web-url.
resp = requests.get(url)
# Creating an ElementTree from the response content
tree = ET.ElementTree(ET.fromstring(resp.content))
root = tree.getroot()
# I just realized this is cheating, but whatever, you should do it with xmltree
writerDict = {
"Mon":"Thomas_Smith",
"Tue":"Thomas_Smith",
"Wed":"Thomas_Smith",
"Thu":"Joseph_Olson",
"Fri":"Joseph_Olson",
"Sat":"Sophia_Cruise",
"Sun":"Sophia_Cruise"
}
copyright = Literal(root.findall("./channel")[0].find("copyright").text)
for item in root.findall("./channel/item"):
copyright = Literal(root.findall("./channel")[0].find("copyright").text)
News_article_id = URIRef(item.find("guid").text)
title = Literal(item.find("title").text)
description = Literal(item.find("description").text)
link = URIRef(item.find("link").text)
pubDate = Literal(item.find("pubDate").text)
writerName = ex[writerDict[pubDate[:3]]]
g.add((News_article_id, ex.title, title))
g.add((News_article_id, ex.description, description))
g.add((News_article_id, ex.source_link, link))
g.add((News_article_id, ex.pubDate, pubDate))
g.add((News_article_id, ex.copyright, copyright))
g.add((News_article_id, RDF.type, ex.News_article))
g.add((News_article_id, RDF.type, prov.Entity))
g.add((News_article_id, ex.authoredBy, writerName))
g.add((writerName, RDF.type, prov.Person))
g.add((writerName, RDF.type, prov.Agent))
g.add((ex.authoredBy, RDF.type, prov.Generation))
print(g.serialize(format="turtle"))
OWL 2
from rdflib import Graph, Literal, Namespace, BNode
from rdflib.namespace import RDF, OWL, RDFS
from rdflib.collection import Collection
g = Graph()
ex = Namespace("http://example.org/")
g.bind("ex", ex)
g.bind("owl", OWL)
# anyone who is a graduate has at least one degree
br = BNode()
g.add((br, RDF.type, OWL.Restriction))
g.add((br, OWL.onProperty, ex.degree))
g.add((br, OWL.minCardinality, Literal(1)))
bi = BNode()
Collection(g, bi, [ex.Person, br])
g.add((ex.Graduate, OWL.intersectionOf, bi))
#anyone who is a university graduate has at least one degree from a university
br = BNode()
g.add((br, RDF.type, OWL.Restriction))
g.add((br, OWL.onProperty, ex.degree))
g.add((br, OWL.someValuesFrom, ex.University))
bi = BNode()
Collection(g, bi, [ex.Graduate, br])
#[ex.Person, br] also someValueFrom implies a cardinality of at least one so they would be equivalent.
#[ex.Person, ex.Graduate, br] would be redundant since intersection is associative.
g.add((ex.University_graduate, OWL.intersectionOf, bi))
#a grade is either an A, B, C, D, E or F
bi = BNode()
Collection(g, bi, [Literal("A"), Literal("B"), Literal("C"), Literal("D"), Literal("E"), Literal("F")])
b1 = BNode()
g.add((b1, RDF.type, RDFS.Datatype))
g.add((b1, OWL.oneOf, bi))
g.add((ex.grade, RDFS.range, b1))
#a straight A student is a student that has only A grades
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.grade))
g.add((b1, OWL.allValuesFrom, Literal("A")))
b2 = BNode()
g.add((b2, RDF.type, OWL.Restriction))
g.add((b2, OWL.onProperty, ex.grade))
g.add((b2, OWL.someValuesFrom, Literal("A")))
bi = BNode()
Collection(g, bi, [ex.Student, b1, b2])
g.add((ex.Straight_A_student, OWL.intersectionOf, bi))
#a graduate has no F grades
b3 = BNode()
Collection(g, b3, [Literal("A"), Literal("B"), Literal("C"), Literal("D"), Literal("E")])
b4 = BNode()
g.add((b4, RDF.type, RDFS.Datatype))
g.add((b4, OWL.oneOf, b3))
b5 = BNode()
g.add((b5, RDF.type, OWL.Restriction))
g.add((b5, OWL.onProperty, ex.grade))
g.add((b5, OWL.allValuesFrom, b4))
b6 = BNode()
Collection(g, b6, [ex.Person, b1, b5])
g.add((ex.Graduate, OWL.intersectionOf, b6))
#a student has a unique student number
g.add((ex.student_number, RDF.type, OWL.FunctionalProperty))
g.add((ex.student_number, RDF.type, OWL.InverseFunctionalProperty))
#each student has exactly one average grade
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.average_grade))
g.add((b1, OWL.cardinality, Literal(1)))
b2 = BNode()
g.add((b2, RDF.type, OWL.Restriction))
g.add((b2, OWL.onProperty, ex.student_number))
g.add((b2, OWL.cardinality, Literal(1)))
Collection(g, b3, [ex.Person, b1, b2])
g.add((ex.Student, OWL.intersectionOf, b3))
#a course is either a bachelor, a master or a Ph.D course
bi = BNode()
Collection(g, bi, [ex.Bachelor_course, ex.Master_course, ex["Ph.D_course"]])
b1 = BNode()
#g.add((b1, RDF.type, OWL.Class))
g.add((b1, OWL.oneOf, bi))
g.add((ex.Course, RDF.type, b1))
#a bachelor student takes only bachelor courses
g.add((ex.Bachelor_student, RDFS.subClassOf, ex.Student))
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.hasCourse))
g.add((b1, OWL.allValuesFrom, ex.Bachelor_course))
b2 = BNode()
Collection(g, b2, [ex.Student, b1])
g.add((ex.Bachelor_student, OWL.intersectionOf, b2))
#a masters student takes only master courses and at most one bachelor course
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.hasCourse))
g.add((b1, OWL.maxQualifiedCardinality, Literal(1)))
g.add((b1, OWL.onClass, ex.Bachelor_course))
b2 = BNode()
g.add((b2, RDF.type, OWL.Restriction))
g.add((b2, OWL.onProperty, ex.hasCourse))
g.add((b2, OWL.someValuesFrom, ex.Master_course))
b3 = BNode()
Collection(g, b3, [ex.Master_course, ex.Bachelor_course])
b5 = BNode()
g.add((b5, RDF.type, OWL.Restriction))
g.add((b5, OWL.onProperty, ex.hasCourse))
g.add((b5, OWL.allValuesFrom, b3))
b6 = BNode()
Collection(g, b6, [ex.Student, b1, b2, b5])
g.add((ex.Master_student, OWL.intersectionOf, b6))
#a Ph.D student takes only Ph.D and at most two masters courses
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.hasCourse))
g.add((b1, OWL.maxQualifiedCardinality, Literal(2)))
g.add((b1, OWL.onClass, ex.Master_course))
b2 = BNode()
g.add((b2, RDF.type, OWL.Restriction))
g.add((b2, OWL.onProperty, ex.hasCourse))
g.add((b2, OWL.someValuesFrom, ex["Ph.D_course"]))
b3 = BNode()
Collection(g, b3, [ex.Master_course, ex["Ph.D_course"]])
b5 = BNode()
g.add((b5, RDF.type, OWL.Restriction))
g.add((b5, OWL.onProperty, ex.hasCourse))
g.add((b5, OWL.allValuesFrom, b3))
b6 = BNode()
Collection(g, b6, [ex.Student, b1, b2, b5])
g.add((ex["Ph.D_student"], OWL.intersectionOf, b6))
#a Ph.D. student cannot take a bachelor course
#NA, it's already true
Lab 11: Semantic Lifting - HTML
from bs4 import BeautifulSoup as bs
from rdflib import Graph, Literal, URIRef, Namespace
from rdflib.namespace import RDF, SKOS, XSD
import requests
g = Graph()
ex = Namespace("http://example.org/")
g.bind("ex", ex)
# Download html from URL and parse it with BeautifulSoup.
url = "https://www.semanticscholar.org/topic/Knowledge-Graph/159858"
page = requests.get(url)
html = bs(page.content, features="html.parser")
# print(html.prettify())
# Find the html that surrounds all the papers
papers = html.find_all('div', attrs={'class': 'flex-container'})
# Find the html that surrounds the info box
topic = html.find_all(
'div', attrs={'class': 'flex-item__left-column entity-header'})
# Iterate through each paper to make triples:
for paper in papers:
# e.g selecting title.
title = paper.find('div', attrs={'class': 'timeline-paper-title'}).text
author = paper.find('span', attrs={'class': 'author-list'}).text
papper_year = paper.find(
'li', attrs={'data-selenium-selector': "paper-year"}).text
corpus_ID = paper.find(
'li', attrs={'data-selenium-selector': "corpus-id"}).text
corpus_ID = corpus_ID.replace(" ", "_")
c_id = corpus_ID.replace("Corpus_ID:_", "")
article = URIRef(ex + c_id)
# Adding tripels
g.add((article, RDF.type, ex.paper))
g.add((article, ex.HasID, Literal(c_id, datatype=XSD.int)))
g.add((article, ex.HasTitle, Literal(title, datatype=XSD.string)))
g.add((article, ex.Publisher_year, Literal(papper_year, datatype=XSD.year)))
author = author.split(", ")
for x in author:
name = x.replace(" ", "_")
name = URIRef(ex + name)
g.add((article, ex.hasAuthor, name))
# Iterate through the info box to make triples:
for items in topic:
main_topic = items.find('h1', attrs={'class': 'entity-name'}).text
related_topic = items.find(
'div', attrs={'class': 'entity-aliases'}).text
related_topic = related_topic.replace("Known as: ", "")
related_topic = related_topic.replace(f'\xa0Expand', "")
related_topic = related_topic.replace(" ", "")
main_topic = main_topic.replace(" ", "_")
main_topic = URIRef(ex + main_topic)
g.add((article, RDF.type, SKOS.Concept))
g.add((article, SKOS.hasTopConcept, main_topic))
related_topic = related_topic.split(',')
for related_labels in related_topic:
related_topic = URIRef(ex + related_labels)
g.add((article, SKOS.broader, related_topic))
print(g.serialize(format='turtle'))
Owlready2
Martin's solution. NOTE: intead of using "is_a" to define classes like I have mostly done, use "equivalent_to" to make the resoner more powerful (and work at all in this case).
from owlready2 import *
from rdflib import Graph, Namespace
BASE = 'http://info216.uib.no/owlready2-lab/'
onto = get_ontology(BASE)
def clean_onto(onto):
with onto:
for ind in onto.individuals():
destroy_entity(ind)
for prop in onto.properties():
destroy_entity(prop)
for cls in onto.classes():
destroy_entity(cls)
def onto2graph(onto):
graph = Graph()
onto.save('temp_owlready2.nt', format='ntriples')
graph.parse('temp_owlready2.nt', format='ntriples')
return graph
def print_onto(onto):
g = onto2graph(onto)
g.bind('', Namespace(BASE))
print(g.serialize(format='ttl'))
clean_onto(onto)
# anyone who is a graduate has at least one degree
with onto:
class Student(Thing): pass
class Degree(Thing): pass
class hasDegree(Student >> Degree): pass
class Graduate(Student):
is_a = [hasDegree.some(Degree)]
#anyone who is a university graduate has at least one degree from a university
with onto:
class UniversityDegree(Degree): pass
class UniversityGraduate(Graduate):
is_a = [hasDegree.some(UniversityDegree)]
#a grade is either an A, B, C, D, E or F
with onto:
class Grade(Thing): pass
class A(Grade): pass
class B(Grade): pass
class C(Grade): pass
class D(Grade): pass
class E(Grade): pass
class F(Grade): pass
Grade.is_a.append(OneOf([A, B, C, D, E, F]))
#a straight A student is a student that has only A grades
with onto:
class hasGrade(Student >> Grade): pass
class StraightAStudent(Student):
is_a = [hasGrade.only(A)]
#a graduate has no F grades
#Graduate.is_a.append(hasGrade.only(OneOf[A,B,C,D,E]))
#a student has a unique student number
with onto:
class StudentNumber(Thing):pass
class hasStudentNumber(Student >> StudentNumber, FunctionalProperty, InverseFunctionalProperty):pass
#each student has exactly one average grade
with onto:
class AverageGrade(Grade):pass
class hasAverageGrade(Student >> AverageGrade):pass
Student.is_a.append(hasAverageGrade.exactly(1,AverageGrade))
Student.is_a.append(hasStudentNumber.exactly(1,StudentNumber))
#a course is either a bachelor, a master or a Ph.D course
with onto:
class Course(Thing):pass
class BachelorCourse(Course):pass
class MasterCourse(Course):pass
class PhDCourse(Course):pass
Course.is_a.append(OneOf([BachelorCourse, MasterCourse, PhDCourse]))
#a bachelor student takes only bachelor courses
with onto:
class takesCourse(Student>>Course):pass
class BachelorStudent(Student):
is_a = [
takesCourse.only(BachelorCourse) &
takesCourse.some(Course)
]
#a masters student takes only master courses and at most one bachelor course
with onto:
class MasterOrBachelorCourse(Course):pass
class MasterStudent(Student):
is_a = [
takesCourse.only(Not(PhDCourse)) &
takesCourse.max(1,BachelorCourse) &
takesCourse.some(MasterCourse)
]
#a Ph.D student takes only Ph.D and at most two masters courses
with onto:
class PhDStudent(Student):
is_a = [
takesCourse.only(Not(BachelorCourse))&
takesCourse.max(2,MasterCourse)&
takesCourse.some(PhDCourse)
]
# In comparison to lab 10..
"""
b1 = BNode()
g.add((b1, RDF.type, OWL.Restriction))
g.add((b1, OWL.onProperty, ex.hasCourse))
g.add((b1, OWL.maxQualifiedCardinality, Literal(2)))
g.add((b1, OWL.onClass, ex.Master_course))
b2 = BNode()
g.add((b2, RDF.type, OWL.Restriction))
g.add((b2, OWL.onProperty, ex.hasCourse))
g.add((b2, OWL.someValuesFrom, ex["Ph.D_course"]))
b3 = BNode()
Collection(g, b3, [ex.Master_course, ex["Ph.D_course"]])
b5 = BNode()
g.add((b5, RDF.type, OWL.Restriction))
g.add((b5, OWL.onProperty, ex.hasCourse))
g.add((b5, OWL.allValuesFrom, b3))
b6 = BNode()
Collection(g, b6, [ex.Student, b1, b2, b5])
g.add((ex["Ph.D_student"], OWL.intersectionOf, b6))
"""
#a Ph.D. student cannot take a bachelor course
#NA, it's already true
#print(onto2graph(onto).serialize(format="turtle"))
clean_onto(onto)
# anyone who is a graduate has at least one degree
# a graduate is a student with at least one degree
with onto:
class Student(Thing): pass
class Degree(Thing): pass
class hasDegree(Student >> Degree): pass
class Graduate(Student):
equivalent_to = [hasDegree.some(Degree)]
# test with individual
with onto:
cade = Student()
infosci = Degree()
cade.hasDegree.append(infosci)
from owlready2 import sync_reasoner
print(onto.Graduate in cade.is_a)
sync_reasoner()
print(onto.Graduate in cade.is_a)
print("graduate is: ", Graduate.is_a)
print("cade is: ", cade.is_a)
Alternative solution. More pro from Andreas, but it's a not so thoroughly tested draft for us teacher assistents he stresses (it's new material for us), so you might need to make some changes (like the one recommended above: equivalent_to instead of is_a).
from owlready2 import get_ontology, Thing, ObjectProperty
from rdflib import Graph, Namespace
BASE = 'http://info216.uib.no/owlready2-lab/'
onto = get_ontology(BASE)
def onto2graph(onto):
graph = Graph()
onto.save('temp.nt', format='ntriples')
graph.parse('temp.nt', format='ntriples')
return graph
def print_onto(onto):
g = onto2graph(onto)
g.bind('', Namespace(BASE))
print(g.serialize(format='ttl'))
from owlready2 import destroy_entity
def clean_onto(onto):
with onto:
for ind in onto.individuals():
destroy_entity(ind)
for prop in onto.properties():
destroy_entity(prop)
for cls in onto.classes():
destroy_entity(cls)
# anyone who is a graduate has at least one degree
with onto:
class Student(Thing): pass
class Degree(Thing): pass
class hasDegree(Student >> Degree): pass
class Graduate(Student):
is_a = [hasDegree.some(Degree)]
# anyone who is a university graduate has at least one degree from a university
with onto:
class hasDegree(ObjectProperty): pass
class degreeFrom(ObjectProperty): pass
class Degree(Thing): pass
class University(Thing): pass
class UniversityGraduate(Thing):
hasDegree: Degree
is_a = [hasDegree.some(Degree & degreeFrom.some(University))]
print_onto(onto)
from owlready2 import declare_datatype
class XSDString(object):
def __init__(self, value): self.value = value
def str_parser(s): return s
def str_unparser(s): return s
declare_datatype(XSDString, 'http://www.w3.org/2001/XMLSchema#string', str_parser, str_unparser)
# a grade is either an A, B, C, D, E or F
from owlready2 import OneOf
with onto:
class Grade(Thing): pass
class charGrade(Grade >> XSDString): pass
grade_A = Grade()
grade_A.charGrade = ['A']
grade_B = Grade()
grade_B.charGrade = ['B']
grade_C = Grade()
grade_C.charGrade = ['C']
grade_D = Grade()
grade_D.charGrade = ['D']
grade_E = Grade()
grade_E.charGrade = ['E']
grade_F = Grade()
grade_F.charGrade = ['F']
Grade.equivalent_to.append(OneOf([
grade_A, grade_B, grade_C, grade_D, grade_E, grade_F
]))
print_onto(onto)
# a straight A student is a student that has only A grades
with onto:
class Grade(Thing): pass
class charGrade(Grade >> XSDString): pass
grade_A = Grade()
grade_A.charGrade = ['A']
grade_B = Grade()
grade_B.charGrade = ['B']
# ...
Grade.equivalent_to.append(OneOf([
grade_A, grade_B, # ...
]))
class Student(Thing): pass
class hasGrade(Student >> Grade): pass
class GradeA(Grade):
equivalent_to = [OneOf([grade_A])]
class StraightAStudent(Student):
equivalent_to = [
hasGrade.some(GradeA) & hasGrade.only(GradeA)
]
print_onto(onto)
# a graduate has no F grades
with onto:
class Grade(Thing): pass
class charGrade(Grade >> XSDString): pass
grade_A = Grade()
grade_A.charGrade = ['A']
# ...
grade_F.charGrade = ['F']
Grade.equivalent_to.append(OneOf([
grade_A, # ...
grade_F
]))
class Student(Thing): pass
class hasGrade(Student >> Grade): pass
class GradeF(Grade):
equivalent_to = [OneOf([grade_F])]
class Graduate(Student):
equivalent_to = [Student & ~ hasGrade.some(GradeF)]
print_onto(onto)
# a student has a single unique student number
class XSDInt(object):
def __init__(self, value): self.value = value
def int_parser(s): return int(s)
def int_unparser(i): return str(i)
declare_datatype(XSDInt, 'http://www.w3.org/2001/XMLSchema#int', int_parser, int_unparser)
from owlready2 import FunctionalProperty, InverseFunctionalProperty
with onto:
class Student(Thing): pass
class hasStudentNumber(Student >> XSDInt):
is_a = [FunctionalProperty, InverseFunctionalProperty]
print_onto(onto)
# each student has exactly one average grade
class XSDFloat(object):
def __init__(self, value): self.value = value
def int_parser(s): return float(s)
def int_unparser(f): return str(f)
declare_datatype(XSDFloat, 'http://www.w3.org/2001/XMLSchema#float', int_parser, int_unparser)
with onto:
class Student(Thing): pass
class hasAverageGrade(Grade >> XSDFloat): pass
Student.is_a.append(hasAverageGrade.exactly(1, XSDFloat))
print_onto(onto)
# a course is either a bachelor, a master or a Ph.D course
from owlready2 import AllDisjoint
with onto:
class Course(Thing): pass
class BachelorCourse(Course): pass
class MasterCourse(Course): pass
class PhDCourse(Course): pass
AllDisjoint([BachelorCourse, MasterCourse, PhDCourse])
print_onto(onto)
# a bachelor student takes only bachelor courses
from owlready2 import AllDisjoint
with onto:
class Course(Thing): pass
class BachelorCourse(Course): pass
class MasterCourse(Course): pass
class PhDCourse(Course): pass
AllDisjoint([BachelorCourse, MasterCourse, PhDCourse])
print_onto(onto)
# a masters student takes only master courses, except for at most one bachelor course
with onto:
class Student(Thing): pass
class Course(Thing): pass
class takesCourse(Student >> Course): pass
class BachelorCourse(Course): pass
class MasterCourse(Course): pass
class MasterStudent(Student):
is_a = [
takesCourse.some(MasterCourse) &
takesCourse.only(MasterCourse | BachelorCourse) &
takesCourse.max(1, BachelorCourse)
]
print_onto(onto)
# a Ph.D student takes only Ph.D courses, except for at most two masters courses
with onto:
class Student(Thing): pass
class Course(Thing): pass
class takesCourse(Student >> Course): pass
class MasterCourse(Course): pass
class PhDCourse(Course): pass
class PhDStudent(Student):
is_a = [
takesCourse.some(PhDCourse) &
takesCourse.only(PhDCourse | MasterCourse) &
takesCourse.max(2, MasterCourse)
]
print_onto(onto)
# a Ph.D. student cannot take a bachelor course
with onto:
class Student(Thing): pass
class Course(Thing): pass
class takesCourse(Student >> Course): pass
class BachelorCourse(Course): pass
class PhDStudent(Student):
is_a = [
takesCourse.max(0, BachelorCourse)
]
print_onto(onto)
# ...alternative solution
clean_onto(onto)
with onto:
class Student(Thing): pass
class Course(Thing): pass
class takesCourse(Student >> Course): pass
class BachelorCourse(Course): pass
class PhDStudent(Student):
is_a = [Student & ~ takesCourse.some(BachelorCourse)]
print_onto(onto)
# a graduate is a student with at least one degree
with onto:
class Student(Thing): pass
class Degree(Thing): pass
class hasDegree(Student >> Degree): pass
class Graduate(Student):
equivalent_to = [Student & hasDegree.some(Degree)]
# test with individual
with onto:
cade = Student()
infosci = Degree()
cade.hasDegree.append(infosci)
from owlready2 import sync_reasoner
print(onto.Graduate in cade.is_a)
sync_reasoner()
print(onto.Graduate in cade.is_a)
# if you have more time:
# populate the ontology with individuals
# a straight A student is a student that has only A grades
clean_onto(onto)
with onto:
class Grade(Thing): pass
class charGrade(Grade >> XSDString): pass
grade_A = Grade()
grade_A.charGrade = ['A']
grade_B = Grade()
grade_B.charGrade = ['B']
# ...
Grade.equivalent_to.append(OneOf([
grade_A, grade_B, # ...
]))
class Student(Thing): pass
class hasGrade(Student >> Grade): pass
class GradeA(Grade):
equivalent_to = [OneOf([grade_A])]
class StraightAStudent(Student):
equivalent_to = [
Student &
hasGrade.some(GradeA) & hasGrade.only(GradeA)
]
# add individual
cade = Student()
cade.hasGrade.append(grade_A)
print_onto(onto)
from owlready2 import sync_reasoner
print(onto.StraightAStudent in cade.is_a)
sync_reasoner()
print(onto.StraightAStudent in cade.is_a)
from owlready2 import close_world
close_world(onto) # because of the "only"-restriction
sync_reasoner()
print(onto.StraightAStudent in cade.is_a)
Knowledge graph embeddings
https://colab.research.google.com/drive/1sHusTjvmHtV6PkzIatLTMPzHuseAF6N1?usp=sharing
More miscellaneous examples
Printing the triples of the Graph in a readable way
# The turtle format has the purpose of being more readable for humans.
print(g.serialize(format="turtle"))
Coding Tasks Lab 1
from rdflib import Graph, Namespace, URIRef, BNode, Literal
from rdflib.namespace import RDF, FOAF, XSD
g = Graph()
ex = Namespace("http://example.org/")
g.add((ex.Cade, ex.married, ex.Mary))
g.add((ex.France, ex.capital, ex.Paris))
g.add((ex.Cade, ex.age, Literal("27", datatype=XSD.integer)))
g.add((ex.Mary, ex.age, Literal("26", datatype=XSD.integer)))
g.add((ex.Mary, ex.interest, ex.Hiking))
g.add((ex.Mary, ex.interest, ex.Chocolate))
g.add((ex.Mary, ex.interest, ex.Biology))
g.add((ex.Mary, RDF.type, ex.Student))
g.add((ex.Paris, RDF.type, ex.City))
g.add((ex.Paris, ex.locatedIn, ex.France))
g.add((ex.Cade, ex.characteristic, ex.Kind))
g.add((ex.Mary, ex.characteristic, ex.Kind))
g.add((ex.Mary, RDF.type, FOAF.Person))
g.add((ex.Cade, RDF.type, FOAF.Person))
# OR
g = Graph()
ex = Namespace('http://example.org/')
g.add((ex.Cade, FOAF.name, Literal("Cade", datatype=XSD.string)))
g.add((ex.Mary, FOAF.name, Literal("Mary", datatype=XSD.string)))
g.add((ex.Cade, RDF.type, FOAF.Person))
g.add((ex.Mary, RDF.type, FOAF.Person))
g.add((ex.Mary, RDF.type, ex.Student))
g.add((ex.Cade, ex.Married, ex.Mary))
g.add((ex.Cade, FOAF.age, Literal('27', datatype=XSD.int)))
g.add((ex.Mary, FOAF.age, Literal('26', datatype=XSD.int)))
g.add((ex.Paris, RDF.type, ex.City))
g.add((ex.France, ex.Capital, ex.Paris))
g.add((ex.Mary, FOAF.interest, ex.hiking))
g.add((ex.Mary, FOAF.interest, ex.Chocolate))
g.add((ex.Mary, FOAF.interest, ex.biology))
g.add((ex.France, ex.City, ex.Paris))
g.add((ex.Mary, ex.characteristic, ex.kind))
g.add((ex.Cade, ex.characteristic, ex.kind))
g.add((ex.France, RDF.type, ex.Country))
print(g.serialize(format="turtle"))
Basic RDF programming
Different ways to create an address
from rdflib import Graph, Namespace, URIRef, BNode, Literal
from rdflib.namespace import RDF, FOAF, XSD
g = Graph()
ex = Namespace("http://example.org/")
# How to represent the address of Cade Tracey. From probably the worst solution to the best.
# Solution 1 -
# Make the entire address into one Literal. However, Generally we want to separate each part of an address into their own triples. This is useful for instance if we want to find only the streets where people live.
g.add((ex.Cade_Tracey, ex.livesIn, Literal("1516_Henry_Street, Berkeley, California 94709, USA")))
# Solution 2 -
# Seperate the different pieces information into their own triples
g.add((ex.Cade_tracey, ex.street, Literal("1516_Henry_Street")))
g.add((ex.Cade_tracey, ex.city, Literal("Berkeley")))
g.add((ex.Cade_tracey, ex.state, Literal("California")))
g.add((ex.Cade_tracey, ex.zipcode, Literal("94709")))
g.add((ex.Cade_tracey, ex.country, Literal("USA")))
# Solution 3 - Some parts of the addresses can make more sense to be resources than Literals.
# Larger concepts like a city or state are typically represented as resources rather than Literals, but this is not necesarilly a requirement in the case that you don't intend to say more about them.
g.add((ex.Cade_tracey, ex.street, Literal("1516_Henry_Street")))
g.add((ex.Cade_tracey, ex.city, ex.Berkeley))
g.add((ex.Cade_tracey, ex.state, ex.California))
g.add((ex.Cade_tracey, ex.zipcode, Literal("94709")))
g.add((ex.Cade_tracey, ex.country, ex.USA))
# Solution 4
# Grouping of the information into an Address. We can Represent the address concept with its own URI OR with a Blank Node.
# One advantage of this is that we can easily remove the entire address, instead of removing each individual part of the address.
# Solution 4 or 5 is how I would recommend to make addresses. Here, ex.CadeAddress could also be called something like ex.address1 or so on, if you want to give each address a unique ID.
# Address URI - CadeAdress
g.add((ex.Cade_Tracey, ex.address, ex.CadeAddress))
g.add((ex.CadeAddress, RDF.type, ex.Address))
g.add((ex.CadeAddress, ex.street, Literal("1516 Henry Street")))
g.add((ex.CadeAddress, ex.city, ex.Berkeley))
g.add((ex.CadeAddress, ex.state, ex.California))
g.add((ex.CadeAddress, ex.postalCode, Literal("94709")))
g.add((ex.CadeAddress, ex.country, ex.USA))
# OR
# Blank node for Address.
address = BNode()
g.add((ex.Cade_Tracey, ex.address, address))
g.add((address, RDF.type, ex.Address))
g.add((address, ex.street, Literal("1516 Henry Street", datatype=XSD.string)))
g.add((address, ex.city, ex.Berkeley))
g.add((address, ex.state, ex.California))
g.add((address, ex.postalCode, Literal("94709", datatype=XSD.string)))
g.add((address, ex.country, ex.USA))
# Solution 5 using existing vocabularies for address
# (in this case https://schema.org/PostalAddress from schema.org).
# Also using existing ontology for places like California. (like http://dbpedia.org/resource/California from dbpedia.org)
schema = Namespace("https://schema.org/")
dbp = Namespace("https://dpbedia.org/resource/")
g.add((ex.Cade_Tracey, schema.address, ex.CadeAddress))
g.add((ex.CadeAddress, RDF.type, schema.PostalAddress))
g.add((ex.CadeAddress, schema.streetAddress, Literal("1516 Henry Street")))
g.add((ex.CadeAddress, schema.addresCity, dbp.Berkeley))
g.add((ex.CadeAddress, schema.addressRegion, dbp.California))
g.add((ex.CadeAddress, schema.postalCode, Literal("94709")))
g.add((ex.CadeAddress, schema.addressCountry, dbp.United_States))
Typed Literals
from rdflib import Graph, Literal, Namespace
from rdflib.namespace import XSD
g = Graph()
ex = Namespace("http://example.org/")
g.add((ex.Cade, ex.age, Literal(27, datatype=XSD.integer)))
g.add((ex.Cade, ex.gpa, Literal(3.3, datatype=XSD.float)))
g.add((ex.Cade, FOAF.name, Literal("Cade Tracey", datatype=XSD.string)))
g.add((ex.Cade, ex.birthday, Literal("2006-01-01", datatype=XSD.date)))
Writing and reading graphs/files
# Writing the graph to a file on your system. Possible formats = turtle, n3, xml, nt.
g.serialize(destination="triples.txt", format="turtle")
# Parsing a local file
parsed_graph = g.parse(location="triples.txt", format="turtle")
# Parsing a remote endpoint like Dbpedia
dbpedia_graph = g.parse("http://dbpedia.org/resource/Pluto")
Graph Binding
#Graph Binding is useful for at least two reasons:
#(1) We no longer need to specify prefixes with SPARQL queries if they are already binded to the graph.
#(2) When serializing the graph, the serialization will show the correct expected prefix
# instead of default namespace names ns1, ns2 etc.
g = Graph()
ex = Namespace("http://example.org/")
dbp = Namespace("http://dbpedia.org/resource/")
schema = Namespace("https://schema.org/")
g.bind("ex", ex)
g.bind("dbp", dbp)
g.bind("schema", schema)
Collection Example
from rdflib import Graph, Namespace
from rdflib.collection import Collection
# Sometimes we want to add many objects or subjects for the same predicate at once.
# In these cases we can use Collection() to save some time.
# In this case I want to add all countries that Emma has visited at once.
b = BNode()
g.add((ex.Emma, ex.visit, b))
Collection(g, b,
[ex.Portugal, ex.Italy, ex.France, ex.Germany, ex.Denmark, ex.Sweden])
# OR
g.add((ex.Emma, ex.visit, ex.EmmaVisits))
Collection(g, ex.EmmaVisits,
[ex.Portugal, ex.Italy, ex.France, ex.Germany, ex.Denmark, ex.Sweden])
SPARQL
Also see the SPARQL Examples page!
Querying a local ("in memory") graph
Example contents of the file family.ttl:
@prefix rex: <http://example.org/royal#> . @prefix fam: <http://example.org/family#> . rex:IngridAlexandra fam:hasParent rex:HaakonMagnus . rex:SverreMagnus fam:hasParent rex:HaakonMagnus . rex:HaakonMagnus fam:hasParent rex:Harald . rex:MarthaLouise fam:hasParent rex:Harald . rex:HaakonMagnus fam:hasSister rex:MarthaLouise .
import rdflib g = rdflib.Graph() g.parse("family.ttl", format='ttl') qres = g.query(""" PREFIX fam: <http://example.org/family#> SELECT ?child ?sister WHERE { ?child fam:hasParent ?parent . ?parent fam:hasSister ?sister . }""") for row in qres: print("%s has aunt %s" % row)
With a prepared query, you can write the query once, and then bind some of the variables each time you use it:
import rdflib g = rdflib.Graph() g.parse("family.ttl", format='ttl') q = rdflib.plugins.sparql.prepareQuery( """SELECT ?child ?sister WHERE { ?child fam:hasParent ?parent . ?parent fam:hasSister ?sister . }""", initNs = { "fam": "http://example.org/family#"}) sm = rdflib.URIRef("http://example.org/royal#SverreMagnus") for row in g.query(q, initBindings={'child': sm}): print(row)
Select all contents of lists (rdfllib.Collection)
# rdflib.Collection has a different interntal structure so it requires a slightly more advance query. Here I am selecting all places that Emma has visited.
PREFIX ex: <http://example.org/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
SELECT ?visit
WHERE {
ex:Emma ex:visit/rdf:rest*/rdf:first ?visit
}
Using parameters/variables in rdflib queries
from rdflib import Graph, Namespace, URIRef
from rdflib.plugins.sparql import prepareQuery
g = Graph()
ex = Namespace("http://example.org/")
g.bind("ex", ex)
g.add((ex.Cade, ex.livesIn, ex.France))
g.add((ex.Anne, ex.livesIn, ex.Norway))
g.add((ex.Sofie, ex.livesIn, ex.Sweden))
g.add((ex.Per, ex.livesIn, ex.Norway))
g.add((ex.John, ex.livesIn, ex.USA))
def find_people_from_country(country):
country = URIRef(ex + country)
q = prepareQuery(
"""
PREFIX ex: <http://example.org/>
SELECT ?person WHERE {
?person ex:livesIn ?country.
}
""")
capital_result = g.query(q, initBindings={'country': country})
for row in capital_result:
print(row)
find_people_from_country("Norway")
SELECTING data from Blazegraph via Python
from SPARQLWrapper import SPARQLWrapper, JSON
# This creates a server connection to the same URL that contains the graphic interface for Blazegraph.
# You also need to add "sparql" to end of the URL like below.
sparql = SPARQLWrapper("http://localhost:9999/blazegraph/sparql")
# SELECT all triples in the database.
sparql.setQuery("""
SELECT DISTINCT ?p WHERE {
?s ?p ?o.
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["p"]["value"])
# SELECT all interests of Cade
sparql.setQuery("""
PREFIX ex: <http://example.org/>
SELECT DISTINCT ?interest WHERE {
ex:Cade ex:interest ?interest.
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["interest"]["value"])
Updating data from Blazegraph via Python
from SPARQLWrapper import SPARQLWrapper, POST, DIGEST
namespace = "kb"
sparql = SPARQLWrapper("http://localhost:9999/blazegraph/namespace/"+ namespace + "/sparql")
sparql.setMethod(POST)
sparql.setQuery("""
PREFIX ex: <http://example.org/>
INSERT DATA{
ex:Cade ex:interest ex:Mathematics.
}
""")
results = sparql.query()
print(results.response.read())
Retrieving data from Wikidata with SparqlWrapper
from SPARQLWrapper import SPARQLWrapper, JSON
sparql = SPARQLWrapper("https://query.wikidata.org/sparql")
# In the query I want to select all the Vitamins in wikidata.
sparql.setQuery("""
SELECT ?nutrient ?nutrientLabel WHERE
{
?nutrient wdt:P279 wd:Q34956.
SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["nutrient"]["value"], " ", result["nutrientLabel"]["value"])
More examples can be found in the example section on the official query service here: https://query.wikidata.org/.
Download from BlazeGraph
"""
Dumps a database to a local RDF file.
You need to install the SPARQLWrapper package first...
"""
import datetime
from SPARQLWrapper import SPARQLWrapper, RDFXML
# your namespace, the default is 'kb'
ns = 'kb'
# the SPARQL endpoint
endpoint = 'http://info216.i2s.uib.no/bigdata/namespace/' + ns + '/sparql'
# - the endpoint just moved, the old one was:
# endpoint = 'http://i2s.uib.no:8888/bigdata/namespace/' + ns + '/sparql'
# create wrapper
wrapper = SPARQLWrapper(endpoint)
# prepare the SPARQL update
wrapper.setQuery('CONSTRUCT { ?s ?p ?o } WHERE { ?s ?p ?o }')
wrapper.setReturnFormat(RDFXML)
# execute the SPARQL update and convert the result to an rdflib.Graph
graph = wrapper.query().convert()
# the destination file, with code to make it timestamped
destfile = 'rdf_dumps/slr-kg4news-' + datetime.datetime.now().strftime('%Y%m%d-%H%M') + '.rdf'
# serialize the result to file
graph.serialize(destination=destfile, format='ttl')
# report and quit
print('Wrote %u triples to file %s .' %
(len(res), destfile))
Query Dbpedia with SparqlWrapper
from SPARQLWrapper import SPARQLWrapper, JSON
sparql = SPARQLWrapper("http://dbpedia.org/sparql")
sparql.setQuery("""
PREFIX dbr: <http://dbpedia.org/resource/>
PREFIX dbo: <http://dbpedia.org/ontology/>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?comment
WHERE {
dbr:Barack_Obama rdfs:comment ?comment.
FILTER (langMatches(lang(?comment),"en"))
}
""")
sparql.setReturnFormat(JSON)
results = sparql.query().convert()
for result in results["results"]["bindings"]:
print(result["comment"]["value"])
Lifting CSV to RDF
from rdflib import Graph, Literal, Namespace, URIRef
from rdflib.namespace import RDF, FOAF, RDFS, OWL
import pandas as pd
g = Graph()
ex = Namespace("http://example.org/")
g.bind("ex", ex)
# Load the CSV data as a pandas Dataframe.
csv_data = pd.read_csv("task1.csv")
# Here I deal with spaces (" ") in the data. I replace them with "_" so that URI's become valid.
csv_data = csv_data.replace(to_replace=" ", value="_", regex=True)
# Here I mark all missing/empty data as "unknown". This makes it easy to delete triples containing this later.
csv_data = csv_data.fillna("unknown")
# Loop through the CSV data, and then make RDF triples.
for index, row in csv_data.iterrows():
# The names of the people act as subjects.
subject = row['Name']
# Create triples: e.g. "Cade_Tracey - age - 27"
g.add((URIRef(ex + subject), URIRef(ex + "age"), Literal(row["Age"])))
g.add((URIRef(ex + subject), URIRef(ex + "married"), URIRef(ex + row["Spouse"])))
g.add((URIRef(ex + subject), URIRef(ex + "country"), URIRef(ex + row["Country"])))
# If We want can add additional RDF/RDFS/OWL information e.g
g.add((URIRef(ex + subject), RDF.type, FOAF.Person))
# I remove triples that I marked as unknown earlier.
g.remove((None, None, URIRef("http://example.org/unknown")))
# Clean printing of the graph.
print(g.serialize(format="turtle").decode())
CSV file for above example
"Name","Age","Spouse","Country"
"Cade Tracey","26","Mary Jackson","US"
"Bob Johnson","21","","Canada"
"Mary Jackson","25","","France"
"Phil Philips","32","Catherine Smith","Japan"
Coding Tasks Lab 6
import pandas as pd
from rdflib import Graph, Namespace, URIRef, Literal, BNode
from rdflib.namespace import RDF, XSD
ex = Namespace("http://example.org/")
sem = Namespace("http://semanticweb.cs.vu.nl/2009/11/sem/")
g = Graph()
g.bind("ex", ex)
g.bind("sem", sem)
# Removing unwanted characters
df = pd.read_csv('russia-investigation.csv')
# Here I deal with spaces (" ") in the data. I replace them with "_" so that URI's become valid.
df = df.replace(to_replace=" ", value="_", regex=True)
# This may seem odd, but in the data set we have a name like this:("Scooter"). So we have to remove quotation marks
df = df.replace(to_replace=f'"', value="", regex=True)
# # Here I mark all missing/empty data as "unknown". This makes it easy to delete triples containing this later.
df = df.fillna("unknown")
# Loop through the CSV data, and then make RDF triples.
for index, row in df.iterrows():
name = row['investigation']
investigation = URIRef(ex + name)
g.add((investigation, RDF.type, sem.Event))
investigation_start = row["investigation-start"]
g.add((investigation, sem.hasBeginTimeStamp, Literal(
investigation_start, datatype=XSD.datetime)))
investigation_end = row["investigation-end"]
g.add((investigation, sem.hasEndTimeStamp, Literal(
investigation_end, datatype=XSD.datetime)))
investigation_end = row["investigation-days"]
g.add((investigation, sem.hasXSDDuration, Literal(
investigation_end, datatype=XSD.Days)))
person = row["name"]
person = URIRef(ex + person)
g.add((investigation, sem.Actor, person))
result = row['type']
g.add((investigation, sem.hasSubEvent, Literal(result, datatype=XSD.string)))
overturned = row["overturned"]
g.add((investigation, ex.overtuned, Literal(overturned, datatype=XSD.boolean)))
pardoned = row["pardoned"]
g.add((investigation, ex.pardon, Literal(pardoned, datatype=XSD.boolean)))
g.serialize("output.ttl", format="ttl")
print(g.serialize(format="turtle"))
RDFS
RDFS-plus (OWL) Properties
g.add((ex.married, RDF.type, OWL.SymmetricProperty))
g.add((ex.married, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.livesWith, RDF.type, OWL.ReflexiveProperty))
g.add((ex.livesWith, RDF.type, OWL.SymmetricProperty))
g.add((ex.sibling, RDF.type, OWL.TransitiveProperty))
g.add((ex.sibling, RDF.type, OWL.SymmetricProperty))
g.add((ex.sibling, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.hasFather, RDF.type, OWL.FunctionalProperty))
g.add((ex.hasFather, RDF.type, OWL.AsymmetricProperty))
g.add((ex.hasFather, RDF.type, OWL.IrreflexiveProperty))
g.add((ex.fatherOf, RDF.type, OWL.AsymmetricProperty))
g.add((ex.fatherOf, RDF.type, OWL.IrreflexiveProperty))
# Sometimes there is no definite answer, and it comes down to how we want to model our properties
# e.g is livesWith a transitive property? Usually yes, but we can also want to specify that a child lives with both of her divorced parents.
# which means that: (mother livesWith child % child livesWith father) != mother livesWith father. Which makes it non-transitive.