Ok I think I got the HermiT reasoner working.

For future reference, here is what I needed to do (starting from the root
directory of the stanbol checkout):

First change the file `contrib/reasoners/hermit/pom.xml` so that the
following part:

    <parent>
      <groupId>org.apache.stanbol</groupId>
      <artifactId>stanbol-parent</artifactId>
      <version>2-SNAPSHOT</version>
      <relativePath>../../../parent</relativePath>
    </parent>

Becomes (changing the 2-SNAPSHOT to be 4-SNAPSHOT in the version tag):

    <parent>
      <groupId>org.apache.stanbol</groupId>
      <artifactId>stanbol-parent</artifactId>
      <version>4-SNAPSHOT</version>
      <relativePath>../../../parent</relativePath>
    </parent>

Now here is what commands I executed, starting in the base directory of my
checkout:

    vagrant@precise64:~/release-0.12/stanbol$ cd parent/
    vagrant@precise64:~/release-0.12/stanbol/parent$ mvn clean install
    # ... that succeeded
    vagrant@precise64:~/release-0.12/stanbol/parent$ cd .. # go up to the
root again
    vagrant@precise64:~/release-0.12/stanbol$ cd contrib/reasoners/hermit/
    # your apache stanbol installation has to be running for this to work
    vagrant@precise64:~/release-0.12/stanbol/contrib/reasoners/hermit$ mvn
install -PinstallBundle -Dsling.url=http://localhost:8080/system/console
    # ... that succeeded as well :)

Then restart apache stanbol, and now happy times, it works:
    http://localhost:8080/reasoners/owl2

Reply via email to