An Android port of the semantic reasoner Pellet 2.3.1 http://clarkparsia.com/pellet/
Pellet is an OWL 2 reasoner. Pellet provides standard and cutting-edge reasoning services for OWL ontologies.
For applications that need to represent and reason about information using OWL, Pellet is the leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support for OWL 2 profiles including OWL 2 EL. It incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in Pellet Help.
An OWL DL reasoner like Pellet is a core component of ontology-based data management applications; if you need expertise in the use of Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety of roles: consulting, application development, and OEM licensing.
This is a port of the Pellet reasoner developed by the Clark & Parsia Team
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.