Skip to content

Latest commit

 

History

History
14 lines (11 loc) · 587 Bytes

README.md

File metadata and controls

14 lines (11 loc) · 587 Bytes

Sample usage of the OWL API Library

A simple example of how to use the OWL API library and the HermiT reasoner.

In particular, the project will:

  • load the ontology present in the resources folder (university.owl)
  • compute logical inferences
  • ask for
    • university individuals
    • which degrees each university offers
    • which courses each degree offers
    • who is enrolled in those courses

It uses OWL API (version 4.5.4) and the HermiT reasoner (version 1.3.8.413). Dependencies are handled by Gradle.