Energy-Efficiency of OWL Reasoners - Frequency Matters

While running times of ontology reasoners have been studied extensively, studies on energy-consumption of reasoning are scarce, and the energy-efficiency of ontology reasoning is not fully understood yet. Earlier empirical studies on the energy-consumption of ontology reasoners focused on reasoning on smart phones and used measurement methods prone to noise and side-effects. This paper presents an evaluation of the energy-efficiency of five state-of-the-art OWL reasoners on an ARM single-board computer that has built-in sensors to measure the energy consumption of CPUs and memory precisely. Using such a machine gives full control over installed and running software, active clusters and CPU frequencies, allowing for a more precise and detailed picture of the energy consumption of ontology reasoning. Besides evaluating the energy consumption of reasoning, our study further explores the relationship between computation power of the CPU, reasoning time, and energy consumption.

[1]  Bijan Parsia,et al.  The OWL Reasoner Evaluation (ORE) 2015 Competition Report , 2017, Journal of Automated Reasoning.

[2]  Jan Johannsen,et al.  Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers , 2016, SAT.

[3]  Jeff Z. Pan,et al.  A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices , 2015, ORE.

[4]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[5]  Roberto Yus,et al.  Are Apps Going Semantic? A Systematic Review of Semantic Mobile Applications , 2015, MoDeST@ISWC.

[6]  Hermann Härtig,et al.  Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform , 2014, HotPower.

[7]  Jeff Z. Pan,et al.  Predicting Energy Consumption of Ontology Reasoning over Mobile Devices , 2016, International Semantic Web Conference.

[8]  Dan Brickley,et al.  Schema.org: Evolution of Structured Data on the Web , 2015, ACM Queue.

[9]  Bijan Parsia,et al.  The OWL Reasoner Evaluation (ORE) 2015 Resources , 2016, International Semantic Web Conference.

[10]  Yavor Nenov,et al.  Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner , 2015, Description Logics.

[11]  J. Carroll,et al.  Jena: implementing the semantic web recommendations , 2004, WWW Alt. '04.

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

[13]  Eugenio Di Sciascio,et al.  A Mobile Matchmaker for the Ubiquitous Semantic Web , 2014, Int. J. Semantic Web Inf. Syst..

[14]  Jeff Z. Pan,et al.  TrOWL: Tractable OWL 2 Reasoning Infrastructure , 2010, ESWC.

[15]  Yavor Nenov,et al.  Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality , 2015, IJCAI.

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

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

[18]  David P. Anderson.  Preserving hybrid objects , 2016, Commun. ACM.

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

[20]  Eduardo Mena,et al.  Semantic reasoning on mobile devices: Do Androids dream of efficient reasoners? , 2015, J. Web Semant..

[21]  Steffen Hölldobler,et al.  Improving Resource-Unaware SAT Solvers , 2010, LPAR.

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

[23]  Deborah L. McGuinness,et al.  A Power Consumption Benchmark for Reasoners on Mobile Devices , 2014, SEMWEB.

[24]  Birte Glimm,et al.  Konclude: System description , 2014, J. Web Semant..

[25]  Baris Sertkaya.  The ELepHant Reasoner System Description , 2013, ORE.

[26]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..