Lab: OWL-DL: Difference between revisions

From info216
(Added "classes and methods" section)
mNo edit summary
Line 38: Line 38:
* cardinality, minCardinality, maxCardinality
* cardinality, minCardinality, maxCardinality
* qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality, onClass
* qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality, onClass


==Tasks==
==Tasks==

Revision as of 18:42, 10 April 2023

Topics

  • OWL ontology editing in Protégé.
  • Manchester-OWL syntax
  • HermiT reasoning.

Useful materials

Readings:

Protégé:

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

Classes and methods

RDF:

  • type

RDFS:

  • subClassOf, subPropertyOf, domain, range

Basic OWL:

  • sameAs, equivalentClass, equivalentProperty, differentFrom, disjointWith, inverseOf
  • ReflexiveProperty, IrreflexiveProperty, SymmetricProperty, AsymmetricProperty, TransitiveProperty, FunctionalProperty, InverseFunctionalProperty

Complex OWL:

  • oneOf, unionOf, intersectionOf. complementOf
  • Restriction, onProperty
  • someValuesFrom, allValuesFrom, hasValue
  • cardinality, minCardinality, maxCardinality
  • qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality, onClass

Tasks

Continue extending the InvestigationOntology from the previous exercise.

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

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.

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

If you have more time

TBD.