An Android port of the semantic reasoner HermiT 1.3.8 http://hermit-reasoner.com/
HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more. HermiT is the first publicly-available OWL reasoner based on a novel “hypertableau” calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle. HermiT uses direct semantics and passes all OWL 2 conformance tests for direct semantics reasoners.
This is a port of the HermiT reasoner developed by Boris Motik, Rob Shearer, Birte Glimm, Giorgos Stoilos, and Ian Horrocks based on research conducted at the Department of Computer Science in the University of Oxford in Oxford, England.
This port has been developed as part of the "Android goes Semantic" project to analyze the use of Semantic Web technologies on Android-based devices. For more information visit the website of the project or read the publications associated:
R. Yus, C. Bobed, G. Esteban, F. Bobillo, and E. Mena, "Android goes Semantic: DL Reasoners on Smartphones", in 2nd International Workshop on OWL Reasoner Evaluation (ORE 2013), Ulm (Germany), 2013, pp. 46-52.
C. Bobed, F. Bobillo, R. Yus, G. Esteban, and E. Mena, "Android Went Semantic: Time for Evaluation", in 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), Vienna (Austria), 2014, pp. 23-29.
The source code for the libraries:
- hermit__automaton-1.11-8-android.jar
- hermit__jautomata-core-2.0-android.jar
can be found at: