-- Porting to Android

- copied org.semanticweb.HermiT.* source code 
- removed most of org.semanticweb.HermiT.debugger.* classes, replaced Debugger with dummy implementation

- copied rationals.* source code (jautomata-core)
- added skeleton jablah.awt.Point class, refer from rationals.Transition
- added hamcrest-core dependency for jautomata-core

(related to running hermit as jarred dex package)

- got error related to commons-logging library (servlet ..)
solution: copied commons-logging source code into new java project, removed servlet logging class, 
	exported as .jar file

- got error related to apache axioms library
solution: temporarily commented out code that references dependency, removed library as dependency 

- got error from automaton dependency: cannot open input stream
issue: class.getResource() doesn't seem to work in dex package .. 
solution: copied automaton source code into new android project
	added method to load files from assets/ (wvw.mobile.utils.AndroidUtils)
	used as method of loading files in dk.brics.automaton.Datatypes
also, put all the *.aut files from original jar file under assets/data/hermit


-- Limitations

- Hermit does not yet support precomputation of property instances (from example code comments)
- precomputable inference types: [class assertions, data property hierarchy, object property assertions, class hierarchy, same individuals, object property hierarchy]
	doesn't seem like same-as statements via cardinality constraints are inferred 