When loading additional axioms (e.g., for entailment checking), owl:topObjectProperty is handled (we always create the required automaton)

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1078 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
clean-up

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1079 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Added the datalog engine.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1080 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Added rudimentary query optimisations in the datalog engine.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1081 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Localized some of the ontologies in the OWLLink test to not use the versions on the Web.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1082 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Made all tests local and fixed a bug in DatalogEngine.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1083 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Some minor fixes to the datalog engine.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1084 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Additional DatalogEngine test


git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1085 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Fixed a bug in DatalogEngine that made queries with constants not be evaluated correctly.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1086 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Improved a test in DatalogEngineTest.

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1087 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Initial commit
Checked in HermiT directory and README.md
Fixed Headers
Removed generated files
Initial commit
Updated to 1.3.7-SNAPSHOT to test bug fixes
Moved to Junit 4
Added class to generate constructor args for Parameteric Testing, rather
than generating TestCases for a TestSuite
Added annotation and other JUnit4 stuff to ConsistencyTest and
EntailmentTest to make it all work.
Now at 3.4.2-SNAPSHOT for OWL API.
Documentation update.
Got the version number wrong, as only 1.3.6 has been released.
3.4.2 update
Removed debug statement.
Support for maven build in travis CI