Lab: OWL 2 - Revision history

Sogar7469: Changed the link to webvowl

2025-04-07T17:09:04Z

Changed the link to webvowl

← Older revision		Revision as of 17:09, 7 April 2025
Line 56:		Line 56:
	'''Task,''' Define the proper domains and ranges of your data properties. Should some of them be marked as ''Functional''?		'''Task,''' Define the proper domains and ranges of your data properties. Should some of them be marked as ''Functional''?

	'''Task.''' Along the way, keep saving the ontology to a file, and use [~~http~~://~~vowl~~.~~visualdataweb~~.~~org~~/webvowl~~.html~~ WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks the way you think it should.		'''Task.''' Along the way, keep saving the ontology to a file, and use [https://service.tib.eu/webvowl/ WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks the way you think it should.

	'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.		'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.

Sinoa: /* Useful materials */

2024-04-17T14:10:31Z

Useful materials

← Older revision		Revision as of 14:10, 17 April 2024
Line 10:		Line 10:
	** An online version, [https://protege.stanford.edu/products.php#web-protege Webprotégé], is also available, but we recommend that you download the Desktop version and run it locally.		** An online version, [https://protege.stanford.edu/products.php#web-protege Webprotégé], is also available, but we recommend that you download the Desktop version and run it locally.
	* [https://www.youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 Youtube Playlist with quick tutorials of Protégé, particularly video 1 - 5]		* [https://www.youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 Youtube Playlist with quick tutorials of Protégé, particularly video 1 - 5]
	* [https://www.w3.org/TR/owl-ref/ OWL Documentation] (from ~~S08~~)		* [https://www.w3.org/TR/owl-ref/ OWL Documentation] (from S09)
	* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation of Protégé]		* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation of Protégé]

	Vocabularies and terms (from ~~S09~~) - ''this is for reference: you will not need them all :-)'':		Vocabularies and terms (from S10) - ''this is for reference: you will not need them all :-)'':
	* [http://xmlns.com/foaf/0.1/ Friend of a Friend (FOAF)] (if necessary follow the link to the 2004 version)		* [http://xmlns.com/foaf/0.1/ Friend of a Friend (FOAF)] (if necessary follow the link to the 2004 version)
	* [http://motools.sourceforge.net/event/event.html Event Ontology (event)]		* [http://motools.sourceforge.net/event/event.html Event Ontology (event)]

Sinoa: /* If you have more time */

2023-04-10T18:47:15Z

If you have more time

← Older revision		Revision as of 18:47, 10 April 2023
Line 74:		Line 74:
	* Elizabeth Prelogar was an investigator.		* Elizabeth Prelogar was an investigator.

	'''Task.''' Start the reasoner again. ~~Has~~ any axioms/triples been added to the ontology?		'''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 :-))		'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

Rbo027: /* Useful materials */ Updated FOAF link

2023-03-31T08:12:21Z

Useful materials: Updated FOAF link

← Older revision		Revision as of 08:12, 31 March 2023
Line 14:		Line 14:

	Vocabularies and terms (from S09) - ''this is for reference: you will not need them all :-)'':		Vocabularies and terms (from S09) - ''this is for reference: you will not need them all :-)'':
	* [http://xmlns.com/foaf/~~spec~~/ Friend of a Friend (FOAF)] (if necessary follow the link to the 2004 version)		* [http://xmlns.com/foaf/0.1/ Friend of a Friend (FOAF)] (if necessary follow the link to the 2004 version)
	* [http://motools.sourceforge.net/event/event.html Event Ontology (event)]		* [http://motools.sourceforge.net/event/event.html Event Ontology (event)]
	* [http://www.w3.org/TR/owl-time/ Time ontology in OWL (time, OWL-time)]		* [http://www.w3.org/TR/owl-time/ Time ontology in OWL (time, OWL-time)]

Rbo027: /* Useful materials */

2023-03-29T14:34:59Z

Useful materials

← Older revision		Revision as of 14:34, 29 March 2023
Line 11:		Line 11:
	* [https://www.youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 Youtube Playlist with quick tutorials of Protégé, particularly video 1 - 5]		* [https://www.youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 Youtube Playlist with quick tutorials of Protégé, particularly video 1 - 5]
	* [https://www.w3.org/TR/owl-ref/ OWL Documentation] (from S08)		* [https://www.w3.org/TR/owl-ref/ OWL Documentation] (from S08)
	* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation ~~with tips for~~ Protégé]		* [https://docs.google.com/presentation/d/17iS--yTuKzccP2k7Nqu0TnFJH2XJczhgufJ69rFrsfM Lab presentation of Protégé]

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

Sinoa: /* If you have more time */

2023-03-28T18:48:45Z

If you have more time

← Older revision		Revision as of 18:48, 28 March 2023
Line 78:		Line 78:
	'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))		'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

	~~==If you have more time==~~		'''Task.'''
	You can add a lot more classes (types) and relations (object properties) to your ontology. For example:		You can add a lot more classes (types) and relations (object properties) to your ontology. For example:
	* InvestigationTeam, which has all the Investigators as members		* InvestigationTeam, which has all the Investigators as members

Sinoa: /* Tasks */

2023-03-28T18:48:04Z

Tasks

← Older revision		Revision as of 18:48, 28 March 2023
Line 59:		Line 59:

	'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.		'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.

			''Tip:'' When you change the ontology and the reasoner is running, you must use ''Reasoner -> Synchronize'' to reason over the changes.

	'''Task.'''		'''Task.'''
Line 66:		Line 68:
	'''Task.''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?		'''Task.''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?

			==If you have more time==
	'''Task.''' Stop the reasoner, and add individuals to represent that:		'''Task.''' Stop the reasoner, and add individuals to represent that:
	* Robert Mueller lead the Mueller Investigation.		* Robert Mueller lead the Mueller Investigation.

Sinoa: /* Tasks */

2023-03-28T18:26:01Z

Tasks

← Older revision		Revision as of 18:26, 28 March 2023
Line 64:		Line 64:
	* Create subproperties of ''involved in'' for stating that a person can be ''indicted in'', ''investigating'', or ''leading'' an investigation.		* Create subproperties of ''involved in'' for stating that a person can be ''indicted in'', ''investigating'', or ''leading'' an investigation.

	'''Task,''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?		'''Task.''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?

	'''Task,''' ~~Add~~ individuals to represent that:		'''Task.''' Stop the reasoner, and add individuals to represent that:
	* Robert Mueller lead the Mueller Investigation.		* Robert Mueller lead the Mueller Investigation.
	* Paul Manafort was indicted.		* Paul Manafort was indicted.
	* Elizabeth Prelogar was an investigator.		* Elizabeth Prelogar was an investigator.

			'''Task.''' Start the reasoner again. Has 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 :-))		'''Task.''' Can you do a change that makes your ontology inconsistent? (Save often, so you always have a consistent version to revert to :-))

Sinoa: /* Tasks */

2023-03-28T16:02:20Z

Tasks

← Older revision		Revision as of 16:02, 28 March 2023
Line 55:		Line 55:

	'''Task,''' Define the proper domains and ranges of your data properties. Should some of them be marked as ''Functional''?		'''Task,''' Define the proper domains and ranges of your data properties. Should some of them be marked as ''Functional''?

			'''Task.''' Along the way, keep saving the ontology to a file, and use [http://vowl.visualdataweb.org/webvowl.html WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks the way you think it should.

			'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.

	'''Task.'''		'''Task.'''
Line 62:		Line 66:
	'''Task,''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?		'''Task,''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?

	'''Task.''' ~~Along the way, keep saving the ontology~~ to ~~a file, and use [http~~:~~//vowl.visualdataweb.org/webvowl.html WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks~~ the ~~way you think it should~~.		'''Task,''' Add individuals to represent that:
			* Robert Mueller lead the Mueller Investigation.
	~~'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent~~.		* Paul Manafort was indicted.
			* Elizabeth Prelogar was an investigator.

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

Sinoa: /* Tasks */

2023-03-28T15:45:00Z

Tasks

← Older revision		Revision as of 15:45, 28 March 2023
Line 53:		Line 53:

	''Hint:'' To reuse a property from another vocabulary, you need to create it as a property in your ontology.		''Hint:'' To reuse a property from another vocabulary, you need to create it as a property in your ontology.

			'''Task,''' Define the proper domains and ranges of your data properties. Should some of them be marked as ''Functional''?

	'''Task.'''		'''Task.'''
	* Create or import object properties for stating that a person is ''involved in'' an investigation.		* Create or import object properties for stating that a person is ''involved in'' an investigation.
	* Create subproperties of ''involved in'' for stating that a person can be ''indicted in'', ''investigating'', or ''leading'' an investigation.		* Create subproperties of ''involved in'' for stating that a person can be ''indicted in'', ''investigating'', or ''leading'' an investigation.

			'''Task,''' Define the proper domains and ranges of your object properties. Should some of them have particular ''Characteristics''?

	'''Task.''' Along the way, keep saving the ontology to a file, and use [http://vowl.visualdataweb.org/webvowl.html WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks the way you think it should.		'''Task.''' Along the way, keep saving the ontology to a file, and use [http://vowl.visualdataweb.org/webvowl.html WebVOWL] to visualise it (either ''Run WebVOWL'' or ''Old WebVOWL version''). Keep improving the ontology until it looks the way you think it should.

	'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.		'''Task.''' Also along the way, go to the ''Reasoner'' menu and choose the ''HermiT'' reasoner. Use ''Reasoner -> Start reasoner'' to check that your ontology is consistent.

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

	==If you have more time==		==If you have more time==
	You can add a lot more classes (types) and relations (object properties) to your ontology. For example:		You can add a lot more classes (types) and relations (object properties) to your ontology. For example:
	* InvestigationTeam, which has all the Investigators as members		* InvestigationTeam, which has all the Investigators as members