Energy-Efficiency of OWL Reasoners - Frequency Matters
@inproceedings{Koopmann2017EnergyEfficiencyOO, title={Energy-Efficiency of OWL Reasoners - Frequency Matters}, author={Patrick Koopmann and Marcus H{\"a}hnel and Anni-Yasmin Turhan}, booktitle={JIST}, year={2017} }
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
- Computer ScienceICCS
- 2020
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
- Computer ScienceKünstliche Intell.
- 2020
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.
References
SHOWING 1-10 OF 28 REFERENCES
A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices
- Computer ScienceORE
- 2015
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
- Computer ScienceSEMWEB
- 2016
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
- Computer ScienceSEMWEB
- 2014
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?
- Computer ScienceJ. Web Semant.
- 2015
A Mobile Matchmaker for the Ubiquitous Semantic Web
- Computer ScienceInt. J. Semantic Web Inf. Syst.
- 2014
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
- Computer ScienceJournal of Automated Reasoning
- 2014
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
- Computer ScienceORE
- 2013
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
- Computer ScienceSEMWEB
- 2016
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
- Computer ScienceDescription Logics
- 2014
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.