Android Went Semantic: Time for Evaluation

Applications for mobile devices could often show a more intelligent behavior by using a semantic reasoner to discover new knowledge. Unfortunately, using Description Logic reasoners on Android devices is not trivial. In this paper we continue our previous work on investigating the use of semantic reasoners on mobile devices. In particular, we port some new OWL 2 EL reasoners to Android and analyze the results of some experiments measuring the performance of several OWL 2 DL and OWL 2 EL reasoners on Android smartphones and tablets.

[1]  Eduardo Mena,et al.  SHERLOCK: Semantic management of Location-Based Services in wireless environments , 2014, Pervasive Mob. Comput..

[2]  Ed Burnette,et al.  Hello, Android: Introducing Google's Mobile Development Platform , 2009 .

[3]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[4]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[5]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[6]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[7]  Eugenio Di Sciascio,et al.  A Mobile Reasoner for Semantic-Based Matchmaking , 2012, RR.

[8]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[9]  Eduardo Mena,et al.  Android goes Semantic: DL Reasoners on Smartphones , 2013, ORE.

[10]  Boris Motik,et al.  Delta-reasoner: a semantic web reasoner for an intelligent mobile platform , 2012, WWW.

[11]  Pavel Klinov,et al.  Experimenting with ELK Reasoner on Android , 2013, ORE.

[12]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.

[13]  Samantha Bail,et al.  OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report , 2013, ORE.

[14]  Boris Motik,et al.  HermiT: A Highly-Efficient OWL Reasoner , 2008, OWLED.

[15]  Julian Mendez,et al.  jcel: A Modular Rule-based Reasoner , 2012, ORE.

[16]  Thomas Kleemann.  Towards Mobile Reasoning , 2006, Description Logics.