Lab: More OWL - Revision history

Sinoa at 10:57, 14 April 2022

2022-04-14T10:57:25Z

← Older revision		Revision as of 10:57, 14 April 2022
Line 14:		Line 14:


	In this lab you will ~~mostly~~ use the following OWL terms:		In this lab you will also use the following OWL terms:

	* (oneOf, unionOf, intersectionOf. complementOf)		* (oneOf, unionOf, intersectionOf. complementOf)
	* (Restriction, onProperty)		* (Restriction, onProperty)
Line 26:		Line 25:
	Most of the tasks today involve restrictions.		Most of the tasks today involve restrictions.

	~~I Recommend~~ refreshing your memories on restrictions and complex classes from the [https://wiki.uib.no/info216/images/6/69/S12-OWL-2.pdf lecture notes]		We recommend refreshing your memories on restrictions and complex classes from the [https://wiki.uib.no/info216/images/6/69/S12-OWL-2.pdf lecture notes]
	When solving the tasks look at the notes, find the relevant OWL term/s, and try to use the same principles in python code.		When solving the tasks look at the notes, find the relevant OWL term/s, and try to use the same principles in python code.

	Down below is an example solution of the first task: "anyone who is a graduate has at least one degree".		Down below is an example solution of the first task: "anyone who is a graduate has at least one degree".
	It looks complicated, but once you understand it, the other tasks follow a similar pattern.		It looks complicated, but once you understand it, the other tasks follow a similar pattern.P
	In short: ~~I create~~ a blank node that is an OWL.restriction on the ex.degree property.		In short:
	The restriction in question is a minCardinality restriction with the value 1. (e.g "at least one")		Create a blank node that is an OWL.restriction on the ex.degree property. The restriction in question is a minCardinality restriction with the value 1. (e.g "at least one").
	Then I create another blank node that is for a List of all the criteria that makes a person a Graduate.		Then create another blank node that is for a List of all the criteria that makes a person a Graduate.
	In this case I say that a Graduate is the intersection of a Person and the restriction we created earlier.		In this case we can say that a Graduate is the intersection of a Person and the restriction we created earlier.
	Collection is essentially used to create lists and everything between [] is what is in the list (the intersections).		Collection is essentially used to create lists and everything between [] is what is in the list (the intersections).

Line 52:		Line 51:
	==Tasks==		==Tasks==

	Create or ~~Extend~~ a previous graph into an ontology that expresses the following using concepts from OWL (and some from RDF/RDFS), you can do this either by creating the triples in Python using RDFLib or writing the triples using Turtle (or RDF/XML):		Create or extend a previous graph into an ontology that expresses the following using concepts from OWL (and some from RDF/RDFS), you can do this either by creating the triples in Python using RDFLib or writing the triples using Turtle (or RDF/XML):
	* anyone who is a graduate has at least one degree		* anyone who is a graduate has at least one degree
	* anyone who is a university graduate has at least one degree from a university		* anyone who is a university graduate has at least one degree from a university
Line 62:		Line 61:
	* a course is either a bachelor, a master or a Ph.D course		* a course is either a bachelor, a master or a Ph.D course
	* a bachelor student takes only bachelor courses		* a bachelor student takes only bachelor courses
	* a ~~masters~~ student takes only master courses ~~and~~ at most one bachelor course		* a master student takes only master courses, except for at most one bachelor course
	* a Ph.D student takes only Ph.D ~~and~~ at most two masters courses		* a Ph.D student takes only Ph.D courses, except for at most two masters courses
	* a Ph.D. student cannot take a bachelor course		* a Ph.D. student cannot take any bachelor course

	Write each of the above statements as ~~python~~ code using RDFlib and OWL.		Write each of the above statements as Python code using RDFlib and OWL.


Line 100:		Line 99:

	==If You Have More Time==		==If You Have More Time==
	Populate the ontology with ~~data. E.g like~~:		Populate the ontology with individals, such as:
	<syntaxhighlight>		<syntaxhighlight>
	g.add((ex.Cade, RDF.type, ex.Graduate))		g.add((ex.Cade, RDF.type, ex.Graduate))
	g.add((ex.Cade, ex.grade, ex.A))		g.add((ex.Cade, ex.grade, ex.A))

	</syntaxhighlight>		</syntaxhighlight>

	~~Use owlrl like we did~~ in lab 8 to infer additional triples.		Try to use OWL-RL as in lab 8 to infer additional triples.
	IMPORANT: ~~It seems owlrl~~ is unable to reason with OWL Restrictions and ~~perhaps~~ other concepts as well.		IMPORANT: OWL-RL is unable to reason with general OWL Restrictions and some other concepts as well.
	There is a ~~python~~ library for better OWL reasoning called Owlready if you want to reason with restrictions.		There is a Python library for better OWL reasoning called Owlready if you want to reason with restrictions.
	~~Below I print~~ the ontology before and after the reasoning.		Here is the ontology before and after the reasoning.

	What has changed about ~~e.g~~ Cade after using ~~owlrl~~?		What has changed about Cade after using OWL-RL?

	<syntaxhighlight>		<syntaxhighlight>

Sinoa at 14:09, 22 January 2022

2022-01-22T14:09:08Z

← Older revision		Revision as of 14:09, 22 January 2022
Line 1:		Line 1:

	=Lab 12: More OWL=		=Lab 10: More OWL=

	==Topics==		==Topics==

Sas020 at 17:25, 21 April 2021

2021-04-21T17:25:59Z

← Older revision		Revision as of 17:25, 21 April 2021
Line 5:		Line 5:
	OWL ontology programming with RDFlib.		OWL ontology programming with RDFlib.

	==Tutorial==		<!-- ==Tutorial== -->

Sas020 at 17:25, 21 April 2021

2021-04-21T17:25:11Z

← Older revision		Revision as of 17:25, 21 April 2021
Line 52:		Line 52:
	==Tasks==		==Tasks==

	Create or Extend a previous graph into an ontology that expresses the following using concepts from OWL (and some from RDF/RDFS):		Create or Extend a previous graph into an ontology that expresses the following using concepts from OWL (and some from RDF/RDFS), you can do this either by creating the triples in Python using RDFLib or writing the triples using Turtle (or RDF/XML):
	* anyone who is a graduate has at least one degree		* anyone who is a graduate has at least one degree
	* anyone who is a university graduate has at least one degree from a university		* anyone who is a university graduate has at least one degree from a university
Line 128:		Line 128:

	<!-- ==Scenarios from previous labs== -->		<!-- ==Scenarios from previous labs== -->

			==Useful readings==
			* [https://www.w3.org/TR/owl-primer/ OWL2 Primer]
			* [https://www.w3.org/TR/2012/REC-owl2-quick-reference-20121211/ OWL2 Quick Reference Guide]

Ged006 at 08:08, 20 April 2021

2021-04-20T08:08:20Z

← Older revision		Revision as of 08:08, 20 April 2021
Line 127:		Line 127:
	</syntaxhighlight>		</syntaxhighlight>

	==Scenarios from previous labs==		<!-- ==Scenarios from previous labs== -->

Sas020: Updated link to lecture notes

2021-04-20T07:08:48Z

Updated link to lecture notes

← Older revision		Revision as of 07:08, 20 April 2021
Line 26:		Line 26:
	Most of the tasks today involve restrictions.		Most of the tasks today involve restrictions.

	I Recommend refreshing your memories on restrictions and complex classes from the [https://wiki.uib.no/info216/images/4/48/~~S11~~-OWL-~~15-utlagt~~.pdf lecture notes]		I Recommend refreshing your memories on restrictions and complex classes from the [https://wiki.uib.no/info216/images/6/69/S12-OWL-2.pdf lecture notes]
	When solving the tasks look at the notes, find the relevant OWL term/s, and try to use the same principles in python code.		When solving the tasks look at the notes, find the relevant OWL term/s, and try to use the same principles in python code.

Line 32:		Line 32:
	It looks complicated, but once you understand it, the other tasks follow a similar pattern.		It looks complicated, but once you understand it, the other tasks follow a similar pattern.
	In short: I create a blank node that is an OWL.restriction on the ex.degree property.		In short: I create a blank node that is an OWL.restriction on the ex.degree property.
	The restriction in question is a ~~minCardinaality~~ restriction with the value 1. (e.g "at least one")		The restriction in question is a minCardinality restriction with the value 1. (e.g "at least one")
	Then I create another blank node that is for a List of all the criteria that makes a person a Graduate.		Then I create another blank node that is for a List of all the criteria that makes a person a Graduate.
	In this case I say that a Graduate is the intersection of a Person and the restriction we ~~creater~~ earlier.		In this case I say that a Graduate is the intersection of a Person and the restriction we created earlier.
	Collection is essentially used to create lists and everything between [] is what is in the list (the intersections).		Collection is essentially used to create lists and everything between [] is what is in the list (the intersections).

Sinoa at 10:01, 19 April 2021

2021-04-19T10:01:35Z

← Older revision		Revision as of 10:01, 19 April 2021
Line 1:		Line 1:

	=Lab 13: More OWL=		=Lab 12: More OWL=

	==Topics==		==Topics==
Line 9:		Line 9:

	==Classes and methods==		==Classes and methods==
	In ~~Lab 8~~ you have already used these OWL concepts:		In an earlier lab, you have already used these OWL concepts:
	* (sameAs, equivalentClass, equivalentProperty, differentFrom, disjointWith, inverseOf)		* (sameAs, equivalentClass, equivalentProperty, differentFrom, disjointWith, inverseOf)
	* (ReflexiveProperty, IrreflexiveProperty, SymmetricProperty, AsymmetricProperty, TransitiveProperty, FunctionalProperty, InverseFunctionalProperty),		* (ReflexiveProperty, IrreflexiveProperty, SymmetricProperty, AsymmetricProperty, TransitiveProperty, FunctionalProperty, InverseFunctionalProperty),

Say004 at 10:25, 24 April 2020

2020-04-24T10:25:39Z

← Older revision		Revision as of 10:25, 24 April 2020
Line 110:		Line 110:
	IMPORANT: It seems owlrl is unable to reason with OWL Restrictions and perhaps other concepts as well.		IMPORANT: It seems owlrl is unable to reason with OWL Restrictions and perhaps other concepts as well.
	There is a python library for better OWL reasoning called Owlready if you want to reason with restrictions.		There is a python library for better OWL reasoning called Owlready if you want to reason with restrictions.
	~~e.g below~~ I print the ontology before and after the reasoning.		Below I print the ontology before and after the reasoning.

	What has changed about e.g Cade after using owlrl?		What has changed about e.g Cade after using owlrl?

Say004 at 10:25, 24 April 2020

2020-04-24T10:25:11Z

← Older revision		Revision as of 10:25, 24 April 2020
Line 108:		Line 108:

	Use owlrl like we did in lab 8 to infer additional triples.		Use owlrl like we did in lab 8 to infer additional triples.
			IMPORANT: It seems owlrl is unable to reason with OWL Restrictions and perhaps other concepts as well.
			There is a python library for better OWL reasoning called Owlready if you want to reason with restrictions.
	e.g below I print the ontology before and after the reasoning.		e.g below I print the ontology before and after the reasoning.

Line 113:		Line 115:

	<syntaxhighlight>		<syntaxhighlight>
	# ~~print without reasoning~~		# # Write owl file before any reasoned triples
	g.serialize(destination="owl1.ttl", format="turtle")		g.serialize(destination="owl1.ttl", format="turtle")

Line 121:		Line 123:
	owl_reasoner.flush_stored_triples()		owl_reasoner.flush_stored_triples()

	# ~~# Print with reasoning~~		# Write owl file that includes reasoned triples
	g.serialize(destination="owl2.ttl", format="turtle")		g.serialize(destination="owl2.ttl", format="turtle")
	</syntaxhighlight>		</syntaxhighlight>

	==Scenarios from previous labs==		==Scenarios from previous labs==

Say004 at 08:51, 24 April 2020

2020-04-24T08:51:08Z

← Older revision		Revision as of 08:51, 24 April 2020
Line 74:		Line 74:
	import owlrl		import owlrl
	from rdflib import Graph, Literal, Namespace, BNode		from rdflib import Graph, Literal, Namespace, BNode
	from rdflib.namespace import RDF, OWL		from rdflib.namespace import RDF, OWL, RDFS
	from rdflib.collection import Collection		from rdflib.collection import Collection