Energy-Efficiency of OWL Reasoners - Frequency Matters

  title={Energy-Efficiency of OWL Reasoners - Frequency Matters},
  author={Patrick Koopmann and Marcus H{\"a}hnel and Anni-Yasmin Turhan},
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… 
3 Citations
Ontology-Driven Edge Computing
This paper proposes the new approach to utilize ontology reasoning mechanism right on the extreme resource-constrained Edge devices, not in the Fog or Cloud, and demonstrates the practical usefulness of this solution by the implementation of ontology-driven Smart Home edge device that helps locating the lost things.
Semantic Technologies for Situation Awareness
The general approach to formalize situations as ontology-mediated queries is sketched and the formal results obtained for reasoning in these extensions are reported, but the application that triggered these extensions in detail is not described.


A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices
A power consumption benchmark framework that can be used to evaluate and compare the level of battery consumption of different Description Logics reasoners on Android devices and evaluates the framework using 3 popular DL reasoners.
Predicting Energy Consumption of Ontology Reasoning over Mobile Devices
An energy consumption prediction mechanism for ontology Reasoning on mobile devices is introduced that allows an analysis of the feasibility of performing an ontology reasoning on a mobile device with respect to energy consumption and helps to improve further developments in semantic reasoning in general.
A Power Consumption Benchmark for Reasoners on Mobile Devices
We introduce a new methodology for benchmarking the performance per watt of semantic web reasoners and rule engines on smartphones to provide developers with information critical for deploying
Semantic reasoning on mobile devices: Do Androids dream of efficient reasoners?
A Mobile Matchmaker for the Ubiquitous Semantic Web
Mini-ME is presented, a novel mobile inference engine designed from the ground up for the Semantic Web of Things SWoT and implements both standard subsumption, satisfiability, classification and non-standard abduction, contraction, covering inference services for moderately expressive knowledge bases.
HermiT: An OWL 2 Reasoner
This system description paper introduces the OWL 2 reasoner HermiT, a system based on the hypertableau calculus that supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies.
Experimenting with ELK Reasoner on Android
This paper presents results of a preliminary evaluation of the OWL EL reasoner ELK running on a Google Nexus 4 cell phone under Android 4.2 OS. The results show that economic and well-engineered
The OWL Reasoner Evaluation (ORE) 2015 Resources
The design of the ORE competition is outlined and the infrastructure used for its execution is presented: the corpora of ontologies, the competition framework, and the submitted systems are presented.
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner
Although the main goal is to efficiently answer queries over OWL 2 ontologies and data, the technical results are very general and the approach is applicable to first-order knowledge representation languages that can be captured by rules allowing for existential quantification and disjunction in the head.
Pellet: A practical OWL-DL reasoner