Benchmarking Semantic Reasoning on Mobile Platforms: Towards Optimization Using OWL2 RL

Tracking #: 1836-3049

William van Woensel
Syed Sibte Raza Abidi

Responsible editor: 
Thomas Lukasiewicz

Submission type: 
Full Paper
Mobile hardware has advanced to a point where apps may consume the Semantic Web of Data, as exemplified in domains such as mobile context-awareness, m-Health, m-Tourism and augmented reality. However, recent work shows that the performance of ontology-based reasoning, an essential Semantic Web building block, still leaves much to be desired on mobile platforms. This presents a clear need to provide developers with the ability to benchmark mobile reasoning performance, based on their particular application scenarios, i.e., including reasoning tasks, process flows and datasets, to establish the feasibility of mobile deployment. In this regard, we present a mobile benchmark framework called MobiBench to help developers to benchmark semantic reasoners on mobile platforms. To realize efficient mobile, ontology-based reasoning, OWL2 RL is a promising solution since it (a) trades expressivity for scalability, which is important on resource-constrained platforms; and (b) provides unique opportunities for optimization due to its rule-based axiomatization. In this vein, we propose selections of OWL2 RL rule subsets for optimization purposes, based on several orthogonal dimensions. We extended MobiBench to support OWL2 RL and the proposed ruleset selections, and benchmarked multiple OWL2 RL-enabled rule engines and OWL reasoners on a mobile platform. Our results show significant performance improvements by applying OWL2 RL rule subsets, allowing performant reasoning for small datasets on mobile systems.
Full PDF Version: 

Minor Revision

Solicited Reviews:
Click to Expand/Collapse
Review #1
Anonymous submitted on 12/Mar/2018
Review Comment:

My only comment is regarding the issue about the empirical check of Theorem 1. I insist that this part is nonsense and should be removed. If something is proved analytically, it does not require any further checks by other means, because this would not give us anything at all. Also, calling this a “sanity check” is just wrong. According to Wikipedia, “a sanity check is a basic test to quickly evaluate whether a claim or the result of a calculation can possibly be true”. In this case, we know for sure that the claim is true and there is no other possibility.

Review #2
By Eduardo Mena submitted on 03/Apr/2018
Review Comment:

All my previous concerns has been addressed in this new version. Thank you