Lab: OWL 2

From info216

Topics

  • Basic OWL ontology editing in Protégé.
  • WebVOWL visualisation.

Useful materials

Readings:

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

Tasks

Task. Follow the Protégé 5 Installation instructions to download and install Protégé Desktop.

Task. Go through the Protégé 5 Getting Started advice to learn the basics of Protégé Desktop.

Task. Create a new InvestigationOntology that can be used to represent the Mueller Investigation, as well as other public investigations. Choose a prefix (for example io:) path for the ontology, and save the empty ontology to a file.

Task. Start adding classes and properties to your ontology. Use the experience from earlier exercises. For example, the ontology can include these top-level classes:

  • Investigation
  • Person

Subclasses of Person can be

  • Investigator
  • InvestigatedPerson

A subclass of Investigator can be InvestigationLeader.

Task. Connect your classes to at least one class from a well-known ontology, for example foaf:Person. There are three ways you can do this do this:

  1. use foaf:Person instead of "your own" Person class;
  2. make "your own" Person class an rdfs:subClassOf foaf:Person; or
  3. make "your own" Person class owl:equivalentClass to foaf:Person.

Alternative 2 is most common but all are ok.

Task. Create or import data properties for

  • investigation title and description;
  • person names; and
  • investigation start and end times.

Task.

  • 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.

Task. Along the way, keep saving the ontology to a file, and use 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.

If you have more time

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