diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..dbc4941
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+# Gradle
+.gradle
+/build
+
+# Eclipse
+*.classpath
+*.project
+*.settings
+/bin
diff --git a/build.gradle b/build.gradle
new file mode 100644
index 0000000..4f45d34
--- /dev/null
+++ b/build.gradle
@@ -0,0 +1,34 @@
+/*
+ * This build file was generated by the Gradle 'init' task.
+ *
+ * This generated file contains a sample Java Library project to get you started.
+ * For more details take a look at the Java Libraries chapter in the Gradle
+ * user guide available at https://docs.gradle.org/3.4/userguide/java_library_plugin.html
+ */
+
+// Apply the java-library plugin to add support for Java Library
+apply plugin: 'java-library'
+
+// In this section you declare where to find the dependencies of your project
+repositories {
+ // Use jcenter for resolving your dependencies.
+ // You can declare any Maven/Ivy/file repository here.
+ jcenter()
+ mavenCentral()
+}
+
+dependencies {
+ // This dependency is exported to consumers, that is to say found on their compile classpath.
+ api 'org.apache.commons:commons-math3:3.6.1'
+
+ // This dependency is used internally, and not exposed to consumers on their own compile classpath.
+ implementation 'com.google.guava:guava:20.0'
+
+ // Use JUnit test framework
+ testImplementation 'junit:junit:4.12'
+
+ // owl-api
+ compile 'net.sourceforge.owlapi:owlapi-distribution:4.2.8'
+ compile 'net.sourceforge.owlapi:org.semanticweb.hermit:1.3.8.413'
+}
+
diff --git a/gradle/wrapper/gradle-wrapper.jar b/gradle/wrapper/gradle-wrapper.jar
new file mode 100644
index 0000000..0122b1a
Binary files /dev/null and b/gradle/wrapper/gradle-wrapper.jar differ
diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties
new file mode 100644
index 0000000..f6eae08
--- /dev/null
+++ b/gradle/wrapper/gradle-wrapper.properties
@@ -0,0 +1,6 @@
+#Wed Feb 22 08:57:15 CET 2017
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-3.4-bin.zip
diff --git a/gradlew b/gradlew
new file mode 100644
index 0000000..4453cce
--- /dev/null
+++ b/gradlew
@@ -0,0 +1,172 @@
+#!/usr/bin/env sh
+
+##############################################################################
+##
+## Gradle start up script for UN*X
+##
+##############################################################################
+
+# Attempt to set APP_HOME
+# Resolve links: $0 may be a link
+PRG="$0"
+# Need this for relative symlinks.
+while [ -h "$PRG" ] ; do
+ ls=`ls -ld "$PRG"`
+ link=`expr "$ls" : '.*-> \(.*\)$'`
+ if expr "$link" : '/.*' > /dev/null; then
+ PRG="$link"
+ else
+ PRG=`dirname "$PRG"`"/$link"
+ fi
+done
+SAVED="`pwd`"
+cd "`dirname \"$PRG\"`/" >/dev/null
+APP_HOME="`pwd -P`"
+cd "$SAVED" >/dev/null
+
+APP_NAME="Gradle"
+APP_BASE_NAME=`basename "$0"`
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS=""
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD="maximum"
+
+warn ( ) {
+ echo "$*"
+}
+
+die ( ) {
+ echo
+ echo "$*"
+ echo
+ exit 1
+}
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "`uname`" in
+ CYGWIN* )
+ cygwin=true
+ ;;
+ Darwin* )
+ darwin=true
+ ;;
+ MINGW* )
+ msys=true
+ ;;
+ NONSTOP* )
+ nonstop=true
+ ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+ if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+ # IBM's JDK on AIX uses strange locations for the executables
+ JAVACMD="$JAVA_HOME/jre/sh/java"
+ else
+ JAVACMD="$JAVA_HOME/bin/java"
+ fi
+ if [ ! -x "$JAVACMD" ] ; then
+ die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+ fi
+else
+ JAVACMD="java"
+ which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
+ MAX_FD_LIMIT=`ulimit -H -n`
+ if [ $? -eq 0 ] ; then
+ if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
+ MAX_FD="$MAX_FD_LIMIT"
+ fi
+ ulimit -n $MAX_FD
+ if [ $? -ne 0 ] ; then
+ warn "Could not set maximum file descriptor limit: $MAX_FD"
+ fi
+ else
+ warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
+ fi
+fi
+
+# For Darwin, add options to specify how the application appears in the dock
+if $darwin; then
+ GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
+fi
+
+# For Cygwin, switch paths to Windows format before running java
+if $cygwin ; then
+ APP_HOME=`cygpath --path --mixed "$APP_HOME"`
+ CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
+ JAVACMD=`cygpath --unix "$JAVACMD"`
+
+ # We build the pattern for arguments to be converted via cygpath
+ ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
+ SEP=""
+ for dir in $ROOTDIRSRAW ; do
+ ROOTDIRS="$ROOTDIRS$SEP$dir"
+ SEP="|"
+ done
+ OURCYGPATTERN="(^($ROOTDIRS))"
+ # Add a user-defined pattern to the cygpath arguments
+ if [ "$GRADLE_CYGPATTERN" != "" ] ; then
+ OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
+ fi
+ # Now convert the arguments - kludge to limit ourselves to /bin/sh
+ i=0
+ for arg in "$@" ; do
+ CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
+ CHECK2=`echo "$arg"|egrep -c "^-"` ### Determine if an option
+
+ if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then ### Added a condition
+ eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
+ else
+ eval `echo args$i`="\"$arg\""
+ fi
+ i=$((i+1))
+ done
+ case $i in
+ (0) set -- ;;
+ (1) set -- "$args0" ;;
+ (2) set -- "$args0" "$args1" ;;
+ (3) set -- "$args0" "$args1" "$args2" ;;
+ (4) set -- "$args0" "$args1" "$args2" "$args3" ;;
+ (5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
+ (6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
+ (7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
+ (8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
+ (9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
+ esac
+fi
+
+# Escape application args
+save ( ) {
+ for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
+ echo " "
+}
+APP_ARGS=$(save "$@")
+
+# Collect all arguments for the java command, following the shell quoting and substitution rules
+eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS "\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath "\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain "$APP_ARGS"
+
+# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
+if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
+ cd "$(dirname "$0")"
+fi
+
+exec "$JAVACMD" "$@"
diff --git a/gradlew.bat b/gradlew.bat
new file mode 100644
index 0000000..e95643d
--- /dev/null
+++ b/gradlew.bat
@@ -0,0 +1,84 @@
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS=
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto init
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto init
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:init
+@rem Get command-line arguments, handling Windows variants
+
+if not "%OS%" == "Windows_NT" goto win9xME_args
+
+:win9xME_args
+@rem Slurp the command line arguments.
+set CMD_LINE_ARGS=
+set _SKIP=2
+
+:win9xME_args_slurp
+if "x%~1" == "x" goto execute
+
+set CMD_LINE_ARGS=%*
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS%
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega
diff --git a/resources/university.owl b/resources/university.owl
new file mode 100644
index 0000000..cb74893
--- /dev/null
+++ b/resources/university.owl
@@ -0,0 +1,478 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 10
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Laurea triennale in Ingegneria Informatica
+
+
+
+
+
+
+
+
+ 8
+ 80
+ Informatica
+
+
+
+
+
+
+
+
+
+ true
+ Fulvio Corno
+
+
+
+
+
+
+
+
+
+
+ Luigi De Russis
+
+
+
+
+
+
+
+
+ Laurea magistrale in Ingegneria Informatica
+
+
+
+
+
+
+
+
+ 10
+ 100
+ Analisi matematica I
+
+
+
+
+
+
+
+
+
+ Dottorato in Ingegneria Informatica e dei sistemi
+
+
+
+
+
+
+
+
+ Politecnico di Milano
+
+
+
+
+
+
+
+
+
+
+
+ Politecnico di Torino
+
+
+
+
+
+
+
+
+ 20
+ Semantic Web
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/settings.gradle b/settings.gradle
new file mode 100644
index 0000000..2c4be52
--- /dev/null
+++ b/settings.gradle
@@ -0,0 +1,18 @@
+/*
+ * This settings file was generated by the Gradle 'init' task.
+ *
+ * The settings file is used to specify which projects to include in your build.
+ * In a single project build this file can be empty or even removed.
+ *
+ * Detailed information about configuring a multi-project build in Gradle can be found
+ * in the user guide at https://docs.gradle.org/3.4/userguide/multi_project_builds.html
+ */
+
+/*
+// To declare projects as part of a multi-project build use the 'include' method
+include 'shared'
+include 'api'
+include 'services:webservice'
+*/
+
+rootProject.name = 'university-app'
diff --git a/src/main/java/it/polito/elite/semantic/example/OWLApiExample.java b/src/main/java/it/polito/elite/semantic/example/OWLApiExample.java
new file mode 100644
index 0000000..d5f6813
--- /dev/null
+++ b/src/main/java/it/polito/elite/semantic/example/OWLApiExample.java
@@ -0,0 +1,149 @@
+package it.polito.elite.semantic.example;
+
+import java.io.File;
+import java.util.HashSet;
+import java.util.Set;
+
+import org.semanticweb.HermiT.ReasonerFactory;
+import org.semanticweb.owlapi.apibinding.OWLManager;
+import org.semanticweb.owlapi.model.IRI;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLDataFactory;
+import org.semanticweb.owlapi.model.OWLDataProperty;
+import org.semanticweb.owlapi.model.OWLEntity;
+import org.semanticweb.owlapi.model.OWLIndividual;
+import org.semanticweb.owlapi.model.OWLNamedIndividual;
+import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.model.OWLOntologyCreationException;
+import org.semanticweb.owlapi.model.OWLOntologyManager;
+import org.semanticweb.owlapi.reasoner.ConsoleProgressMonitor;
+import org.semanticweb.owlapi.reasoner.InferenceType;
+import org.semanticweb.owlapi.reasoner.NodeSet;
+import org.semanticweb.owlapi.reasoner.OWLReasoner;
+import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
+import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;
+import org.semanticweb.owlapi.reasoner.SimpleConfiguration;
+import org.semanticweb.owlapi.search.EntitySearcher;
+import org.semanticweb.owlapi.util.DefaultPrefixManager;
+
+import uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyImpl;
+import uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl;
+
+/**
+ * Example of use of OWL-API 4.x and the HermiT reasoner.
+ * Realized with Gradle and Java 8.
+ *
+ * Semantic Web course, Politecnico di Torino, Italy
+ *
+ * @author Luigi De Russis, Politecnico di Torino,
+ * e-Lite group
+ * @version 1.0 (2017-02-22)
+ *
+ */
+public class OWLApiExample
+{
+
+ public static void main(String[] args)
+ {
+ // init
+ OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
+ File university = new File("resources/university.owl");
+ OWLOntology localUni;
+
+ try
+ {
+ // load the (local) OWL ontology
+ localUni = manager.loadOntologyFromOntologyDocument(university);
+ System.out.println("Loaded ontology: " + localUni.getOntologyID());
+ IRI location = manager.getOntologyDocumentIRI(localUni);
+ System.out.println("\tfrom: " + location);
+
+ long time = System.currentTimeMillis();
+
+ // get and configure a reasoner (HermiT)
+ OWLReasonerFactory reasonerFactory = new ReasonerFactory();
+ ConsoleProgressMonitor progressMonitor = new ConsoleProgressMonitor();
+ OWLReasonerConfiguration config = new SimpleConfiguration(progressMonitor);
+
+ // create the reasoner instance, classify and compute inferences
+ OWLReasoner reasoner = reasonerFactory.createReasoner(localUni, config);
+ // perform all the inferences now, to avoid subsequent ad-hoc
+ // reasoner calls
+ reasoner.precomputeInferences(InferenceType.values());
+
+ // init prefix manager
+ DefaultPrefixManager pm = new DefaultPrefixManager(null, null,
+ "http://elite.polito.it/ontologies/university.owl#");
+ // pm.setPrefix("another:", "http://elite.polito.it/ontologies/anotheront.owl#");
+
+ // get all the universities
+ OWLDataFactory fac = manager.getOWLDataFactory();
+ OWLClass universities = fac.getOWLClass(IRI.create(pm.getDefaultPrefix(), "University"));
+ NodeSet individualsNodeSet = reasoner.getInstances(universities, false);
+ Set individuals = individualsNodeSet.getFlattened();
+
+ for (OWLNamedIndividual uni : individuals)
+ {
+ // print the individual name
+ System.out.println("Individual Name: " + pm.getShortForm(uni));
+
+ // get university name
+ OWLDataProperty universityName = new OWLDataPropertyImpl(
+ IRI.create(pm.getDefaultPrefix() + "universityName"));
+ System.out.println(EntitySearcher.getDataPropertyValues(uni, universityName, localUni));
+
+ // get offered degrees (i.e., "offersDegree" obj property)
+ OWLObjectPropertyImpl op = new OWLObjectPropertyImpl(
+ IRI.create(pm.getDefaultPrefix() + "offersDegree"));
+ Set offersDegree = new HashSet<>(
+ EntitySearcher.getObjectPropertyValues(uni, op, localUni));
+ for (OWLIndividual degree : offersDegree)
+ {
+ System.out.println("\n\toffersDegree: " + pm.getShortForm((OWLEntity) degree));
+
+ // get degree name
+ OWLDataProperty degreeName = new OWLDataPropertyImpl(
+ IRI.create(pm.getDefaultPrefix() + "degreeName"));
+ System.out.println("\t" + EntitySearcher.getDataPropertyValues(degree, degreeName, localUni));
+
+ // get offered courses ("offersCourse" obj property)
+ OWLObjectPropertyImpl c = new OWLObjectPropertyImpl(
+ IRI.create(pm.getDefaultPrefix() + "offersCourse"));
+ Set offersCourse = new HashSet<>(
+ EntitySearcher.getObjectPropertyValues(degree, c, localUni));
+ for (OWLIndividual course : offersCourse)
+ {
+ System.out.println("\t\toffersCourse: " + pm.getShortForm((OWLEntity) course));
+
+ // get enrolled students ("isFollowed" obj property)
+ OWLObjectPropertyImpl f = new OWLObjectPropertyImpl(
+ IRI.create(pm.getDefaultPrefix() + "isFollowed"));
+ // the following line does not work since we defined
+ // only the "follows" property, and this as the inverse
+ // Set isFollowed = new HashSet<>(
+ // EntitySearcher.getObjectPropertyValues(course, f, localUni));
+ Set isFollowed = reasoner
+ .getObjectPropertyValues(course.asOWLNamedIndividual(), f).getFlattened();
+ for (OWLIndividual student : isFollowed)
+ {
+ System.out.println("\t\t\tisFollowed: " + pm.getShortForm((OWLEntity) student));
+ }
+
+ }
+ }
+
+ System.out.println("---");
+ }
+ System.err.println("All universities (" + individuals.size() + ") extracted in "
+ + (float) (System.currentTimeMillis() - time) / 1000 + " seconds.");
+
+ }
+ catch (OWLOntologyCreationException e)
+ {
+ System.err.println("Impossible to load " + university.getAbsolutePath());
+ e.printStackTrace();
+ }
+
+ }
+
+}
\ No newline at end of file
diff --git a/src/test/java/OWLAPIExampleTest.java b/src/test/java/OWLAPIExampleTest.java
new file mode 100644
index 0000000..964a837
--- /dev/null
+++ b/src/test/java/OWLAPIExampleTest.java
@@ -0,0 +1,11 @@
+/*
+ * This Java source file was generated by the Gradle 'init' task.
+ */
+import org.junit.Test;
+
+
+public class OWLAPIExampleTest {
+ @Test public void testSomeLibraryMethod() {
+
+ }
+}