Lab: OWL-DL - Revision history

Sinoa: /* If you have more time */

2023-04-12T11:12:04Z

If you have more time

← Older revision		Revision as of 11:12, 12 April 2023
Line 82:		Line 82:
	* What would be the consequence of publishing and ontology with the assertion/triple: ''(dc:title, rdfs:domain, :Investigation )''?		* What would be the consequence of publishing and ontology with the assertion/triple: ''(dc:title, rdfs:domain, :Investigation )''?
	* What would be an appropriate ''rdfs:domain'' for the ''foaf:name'' property in your ontology? (''Tip:'' you might want to check what the FOAF vocabulary defines: xmlns.com/foaf/0.1/ .)		* What would be an appropriate ''rdfs:domain'' for the ''foaf:name'' property in your ontology? (''Tip:'' you might want to check what the FOAF vocabulary defines: xmlns.com/foaf/0.1/ .)

			<!--
			'''Task:'''
			* Create a new class for groups that have persons as members (you can reuse ''foaf:Group'' and ''foaf:member'').
			* Create the groups:
			** Mueller_team with Robert Mueller and Elizabeth Prelogar as members.
			** Investigators with Robert Mueller, Elizabeth Prelogar, and John L Smith as members.
			** Mixed_team with Paul Manafort, Elizabeth Prelogar, and John L Smith as members.
			* Create a subclass of your group class to represent investigation teams.

			'''Task:'''
			Delete the equivalent class expression for investigation team in Protégé-OWL. Save the ontology as Turtle and try to add the expression again in Turtle syntax. Reload into Protégé-OWL and check the result.
			-->

Sinoa: /* Tasks */

2023-04-12T10:46:24Z

Tasks

← Older revision		Revision as of 10:46, 12 April 2023
Line 55:		Line 55:
	'''Task.''' Revert the ontology back to a consistent state. Use the ''Individuals by class'' tab and create the following instances of ''owl:Thing'' (for the purpose of the exercise, do not use more specific types!):		'''Task.''' Revert the ontology back to a consistent state. Use the ''Individuals by class'' tab and create the following instances of ''owl:Thing'' (for the purpose of the exercise, do not use more specific types!):
	* John L Smith (alias Jack Smith)		* John L Smith (alias Jack Smith)
	* Investigation of role in the US Capitol Attack		* Investigation of Trump's role in the US Capitol Attack
	* Investigation of Trump's handling of ~~grade~~ documents		* Investigation of Trump's handling of graded documents

	Create ''Object property assertions'' to state that:		Create ''Object property assertions'' to state that:
Line 62:		Line 62:
	* John L Smith is investigating (but not leading) the Investigation of Trump's handling of grade documents		* John L Smith is investigating (but not leading) the Investigation of Trump's handling of grade documents

	'''Task.''' Start the reasoner again. Does it add more axioms/triples (marked in yellow) to the ontology?		'''Task.''' Start the reasoner again (or ''synchronise'' it if it is already running). Does it add more axioms/triples (marked in yellow) to the ontology?

	'''Task''' With the reasoner still running, use ''File -> Export inferred axioms as ontology...'' to save the reasoning results to a new file. Chose a base URI and file name for the new ontology.		'''Task.'''
			* With the reasoner still running, use ''File -> Export inferred axioms as ontology...'' to save the reasoning results to a new file. Chose a base URI and file name for the new ontology.
			* Compare the original (handmade) and new (inferred) ontologies. What has been added? Is something missing?

	(Note that everything from the old ontology is not exported by default. You will have to check off boxes to select what to export. If something is missing, you can try to export again or use ''Tools -> Merge'' to combine the old (handmade) and new (inferred by HermiT) ontologies.)		(Note that everything from the old ontology is not exported by default. You will have to check off boxes to select what to export. If something is missing, you can try to export again or use ''Tools -> Merge'' to combine the old (handmade) and new (inferred by HermiT) ontologies.)

	'''Task.''' ~~(We assume you have still not added John L Smith as an~~ investigation ~~leader~~.) Add an axiom to the investigation ~~leader~~ class to make sure that every ~~investigator~~ that is ~~leading an investigation~~ is an investigation ~~leader~~. Re-~~run the HermiT reasoner~~, ~~and check that John L Smith is now an investigation leader,~~		'''Task.'''
			* Create a new subproperty of ''leading'' to represent investigations that are lead by a ''special prosecutor''. Leave the domain and range open.
	'''~~Task.~~''' ~~Use~~ Manchester-OWL ~~syntax to define the class:~~		* Create a new subclass of investigation to represent ''special counsel investigations''.
	* ~~InvestigationTeam~~, ~~which~~ is a ''~~foaf:Group~~'' ~~with at least one members~~, so that ~~all its members~~ are ''~~Investigators~~''.		* Add an axiom to the investigation class to make sure that every investigation that is lead though special prosecutor is a special counsel investigation. ''Tip:'' In the ''Entities -> Classes -> SpecialCounselInvestigation'' panel, click ''Equivalent To (+)'' and use the ''Class expression editor'' to enter the appropriate Manchester-OWL expression.
			* Change the object property assertions for John L Smith, so he is a ''special prosecutor'' and not just ''investigating''
			* Restart or synchronise the HermiT reasoner, and check that the two investigations lead by John L Smith are now ''special counsel investigations''.

	==If you have more time==		==If you have more time==

Sinoa: /* Tasks */

2023-04-12T10:03:04Z

Tasks

← Older revision		Revision as of 10:03, 12 April 2023
Line 72:		Line 72:
	'''Task.''' Use Manchester-OWL syntax to define the class:		'''Task.''' Use Manchester-OWL syntax to define the class:
	* InvestigationTeam, which is a ''foaf:Group'' with at least one members, so that all its members are ''Investigators''.		* InvestigationTeam, which is a ''foaf:Group'' with at least one members, so that all its members are ''Investigators''.

			==If you have more time==
			'''Task:''' Assume you want to make your ontology public in the LOD cloud.
			* What would be an appropriate ''rdfs:domain'' for the ''dc:title'' property in your ontology?
			* What would be the consequence of publishing and ontology with the assertion/triple: ''(dc:title, rdfs:domain, :Investigation )''?
			* What would be an appropriate ''rdfs:domain'' for the ''foaf:name'' property in your ontology? (''Tip:'' you might want to check what the FOAF vocabulary defines: xmlns.com/foaf/0.1/ .)

Sinoa at 14:31, 11 April 2023

2023-04-11T14:31:43Z

← Older revision		Revision as of 14:31, 11 April 2023
Line 42:		Line 42:
	Continue extending the InvestigationOntology from the previous exercise.		Continue extending the InvestigationOntology from the previous exercise.

	'''Task.''' Use the ''Individuals by class'' tab and create the following instances of ''owl:Thing'' (for the purpose of the exercise, do not use more specific types!):		'''Task.''' Stop the reasoner if it is running, and add individuals to represent that:
			* Robert Mueller lead the Mueller Investigation.
			* Paul Manafort was indicted.
			* Elizabeth Prelogar was an investigator.

			'''Task.''' Start the reasoner again. Have any axioms/triples been added to the ontology?

			'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

			''Tip:'' You can declare two classes as ''owl:disjointWith'' one another and set both classes as the ''rdf:type'' of some individual.

			'''Task.''' Revert the ontology back to a consistent state. Use the ''Individuals by class'' tab and create the following instances of ''owl:Thing'' (for the purpose of the exercise, do not use more specific types!):
	* John L Smith (alias Jack Smith)		* John L Smith (alias Jack Smith)
	* Investigation of role in the US Capitol Attack		* Investigation of role in the US Capitol Attack
Line 55:		Line 66:
	'''Task''' With the reasoner still running, use ''File -> Export inferred axioms as ontology...'' to save the reasoning results to a new file. Chose a base URI and file name for the new ontology.		'''Task''' With the reasoner still running, use ''File -> Export inferred axioms as ontology...'' to save the reasoning results to a new file. Chose a base URI and file name for the new ontology.

	(Note that everything from the old ontology is not exported by default. If something is missing, you can try to export again or use ''Tools -> Merge'' to combine the old (handmade) and new (inferred by HermiT) ontologies.)		(Note that everything from the old ontology is not exported by default. You will have to check off boxes to select what to export. If something is missing, you can try to export again or use ''Tools -> Merge'' to combine the old (handmade) and new (inferred by HermiT) ontologies.)

	~~'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))~~

	~~''Tip:'' You can declare two classes as ''owl:disjointWith'' one another and set both classes as the ''rdf:type'' of some individual.~~

	~~'''Task.'''~~
	~~Make sure that your ontology also contains~~
	* classes for representing investigators and investigation leaders

	Add an axiom to the investigation leader class to make sure that every investigator that is leading ~~and~~ investigation is an investigation leader. Re-run the HermiT reasoner, and check that John L Smith is now an investigation leader,		'''Task.''' (We assume you have still not added John L Smith as an investigation leader.) Add an axiom to the investigation leader class to make sure that every investigator that is leading an investigation is an investigation leader. Re-run the HermiT reasoner, and check that John L Smith is now an investigation leader,

	'''Task.'''		'''Task.''' Use Manchester-OWL syntax to define the class:
	Use Manchester-OWL syntax to define the class:
	* InvestigationTeam, which is a ''foaf:Group'' with at least one members, so that all its members are ''Investigators''.		* InvestigationTeam, which is a ''foaf:Group'' with at least one members, so that all its members are ''Investigators''.

	~~==If you have more time==~~
	~~TBD.~~

Sinoa at 10:03, 11 April 2023

2023-04-11T10:03:57Z

← Older revision		Revision as of 10:03, 11 April 2023
Line 42:		Line 42:
	Continue extending the InvestigationOntology from the previous exercise.		Continue extending the InvestigationOntology from the previous exercise.

	'''Task.''' ~~Add individuals to represent that~~:		'''Task.''' Use the ''Individuals by class'' tab and create the following instances of ''owl:Thing'' (for the purpose of the exercise, do not use more specific types!):
	* ~~Robert Mueller lead the Mueller Investigation.~~		* John L Smith (alias Jack Smith)
	* ~~Paul Manafort was indicted.~~		* Investigation of role in the US Capitol Attack
	* ~~Elizabeth Prelogar was an investigator.~~		* Investigation of Trump's handling of grade documents

	'''~~Task.~~'~~'' Start~~ the ~~reasoner again. Does it add more axioms/triples~~ (~~marked in yellow~~) to the ~~ontology?~~		Create ''Object property assertions'' to state that:
			* John L Smith is investigating (but not leading) the Investigation of role in the US Capitol Attack
			* John L Smith is investigating (but not leading) the Investigation of Trump's handling of grade documents

	'''Task.''' ~~Can you do a change that makes your~~ ontology ~~inconsistent~~? ~~(Save often, so you always have a consistent version to revert to :-))~~		'''Task.''' Start the reasoner again. Does it add more axioms/triples (marked in yellow) to the ontology?

	''~~Tip:~~'' ~~You can declare two classes as~~ ''~~owl:disjointWith~~'' ~~one another and set both classes~~ as ~~the~~ ''~~rdf:type'' of some individual~~.		'''Task''' With the reasoner still running, use ''File -> Export inferred axioms as ontology...'' to save the reasoning results to a new file. Chose a base URI and file name for the new ontology.

	~~'''Task.'''~~		(Note that everything from the old ontology is not exported by default. If something is missing, you can try to export again or use ''Tools -> Merge'' to combine the old (handmade) and new (inferred by HermiT) ontologies.)
	~~Make sure~~ that ~~your~~ ontology ~~contains~~
	* a property for stating that a person is ''~~involved in~~'' ~~an investigation~~ and
	* a subproperty for stating that a person is ''leading'' an investigation.

	~~Create instances for Robert Mueller and for the Mueller Investigation~~. ~~Assert~~ that ~~Robert Mueller is leading the Mueller Investigation~~, ~~but not that he is involved in it.~~		'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

	~~Go to the~~ ''~~Reasoner~~'' ~~menu and choose the~~ ''~~HermiT~~'' ~~reasoner. Use~~ ''~~Reasoner -> Start reasoner~~''~~. Afterwards, check that Robert Mueller is now also leading the Mueller Investigation~~.		''Tip:'' You can declare two classes as ''owl:disjointWith'' one another and set both classes as the ''rdf:type'' of some individual.

	'''Task.'''		'''Task.'''
Line 66:		Line 65:
	* classes for representing investigators and investigation leaders		* classes for representing investigators and investigation leaders

	Add an axiom to the investigation leader class to make sure that every investigator that is leading and investigation is an investigation leader~~. If you have asserted that Robert Mueller is an investigation leader, remove the assertion~~. Re-run the HermiT reasoner, and check that ~~Robert Mueller~~ is now an investigation leader,		Add an axiom to the investigation leader class to make sure that every investigator that is leading and investigation is an investigation leader. Re-run the HermiT reasoner, and check that John L Smith is now an investigation leader,

	'''Task.'''		'''Task.'''

Sinoa: /* Tasks */

2023-04-10T18:55:22Z

Tasks

← Older revision		Revision as of 18:55, 10 April 2023
Line 41:		Line 41:
	==Tasks==		==Tasks==
	Continue extending the InvestigationOntology from the previous exercise.		Continue extending the InvestigationOntology from the previous exercise.

			'''Task.''' Add individuals to represent that:
			* Robert Mueller lead the Mueller Investigation.
			* Paul Manafort was indicted.
			* Elizabeth Prelogar was an investigator.

			'''Task.''' Start the reasoner again. Does it add more axioms/triples (marked in yellow) to the ontology?

			'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

			''Tip:'' You can declare two classes as ''owl:disjointWith'' one another and set both classes as the ''rdf:type'' of some individual.

	'''Task.'''		'''Task.'''
Line 56:		Line 67:

	Add an axiom to the investigation leader class to make sure that every investigator that is leading and investigation is an investigation leader. If you have asserted that Robert Mueller is an investigation leader, remove the assertion. Re-run the HermiT reasoner, and check that Robert Mueller is now an investigation leader,		Add an axiom to the investigation leader class to make sure that every investigator that is leading and investigation is an investigation leader. If you have asserted that Robert Mueller is an investigation leader, remove the assertion. Re-run the HermiT reasoner, and check that Robert Mueller is now an investigation leader,

			'''Task.'''
			Use Manchester-OWL syntax to define the class:
			* InvestigationTeam, which is a ''foaf:Group'' with at least one members, so that all its members are ''Investigators''.

	==If you have more time==		==If you have more time==
	TBD.		TBD.

Rbo027 at 18:42, 10 April 2023

2023-04-10T18:42:41Z

← Older revision		Revision as of 18:42, 10 April 2023
Line 38:		Line 38:
	* cardinality, minCardinality, maxCardinality		* cardinality, minCardinality, maxCardinality
	* qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality, onClass		* qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality, onClass


	==Tasks==		==Tasks==

Rbo027: Added "classes and methods" section

2023-04-10T18:41:47Z

Added "classes and methods" section

@@ Line 20: / Line 20: @@
 * [http://www.w3.org/2004/02/skos/ SKOS - Simple Knowledge Organization System Home Page]
 * [http://rdfs.org/sioc/spec/ Semantic Interlinked Online Communities (SIOC)]
 ==Tasks==

Rbo027 at 11:46, 30 March 2023

2023-03-30T11:46:12Z

← Older revision		Revision as of 11:46, 30 March 2023
Line 10:		Line 10:

	Protégé:		Protégé:
	* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation of Protégé]		* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab 9 presentation introducing Protégé]

	Vocabularies and terms (from S09 and same as previous week) - ''this is for reference: you will not need them all :-)'':		Vocabularies and terms (from S09 and same as previous week) - ''this is for reference: you will not need them all :-)'':

Rbo027: /* Useful materials */

2023-03-29T14:35:39Z

Useful materials

← Older revision		Revision as of 14:35, 29 March 2023
Line 8:		Line 8:
	* [https://protegeproject.github.io/protege/ Protégé 5 Documentation]		* [https://protegeproject.github.io/protege/ Protégé 5 Documentation]
	* [https://www.w3.org/TR/owl2-primer/ OWL2 Primer] (from S08): ''Show Manchester Syntax''		* [https://www.w3.org/TR/owl2-primer/ OWL2 Primer] (from S08): ''Show Manchester Syntax''

			Protégé:
			* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation of Protégé]

	Vocabularies and terms (from S09 and same as previous week) - ''this is for reference: you will not need them all :-)'':		Vocabularies and terms (from S09 and same as previous week) - ''this is for reference: you will not need them all :-)'':