Example of OWL API with HermiT, realized for the Semantic Web course at Politecnico di Torino (Italy)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
gradle/wrapper
resources
src
.gitignore
README.md
build.gradle
gradlew
gradlew.bat
settings.gradle

README.md

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.2.8) and the HermiT reasoner (version 1.3.8.413). Dependencies are handled by Gradle.