An Optimization Algorithm for Production Systems
IEEE Transactions on Knowledge and Data Engineering
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Efficient Matching Algorithms for the SOARIOPSS Production System
Efficient Matching Algorithms for the SOARIOPSS Production System
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
A Rule-Based Object-Oriented OWL Reasoner
IEEE Transactions on Knowledge and Data Engineering
Mobile Context-Addressable Messaging with DL-Lite Domain Model
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
μOR --- A Micro OWL DL Reasoner for Ambient Intelligent Devices
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
An Automatically Composable OWL Reasoner for Resource Constrained Devices
ICSC '09 Proceedings of the 2009 IEEE International Conference on Semantic Computing
Web Semantics: Science, Services and Agents on the World Wide Web
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
MiRE4OWL: Mobile Rule Engine for OWL
COMPSACW '10 Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
| Hi-index | 0.00 |
OWL (Web Ontology Language) reasoning has been extensively studied since its standardization by W3C. While the prevailing research in the OWL reasoning community has targeted faster, larger scale and more expressive OWL reasoners, only a small body of research is focused on OWL reasoning for resource-constrained devices such as mobile phones or sensors. However the ever-increasing application of semantic web technologies in pervasive computing, and the desire to push intelligence towards the edge of the network, emphasizes the need for resource-constrained reasoning. This paper presents COROR a COmposable Rule-entailment Owl Reasoner for resourceconstrained devices. What distinguishes this work from related work is the use of two novel reasoner composition algorithms that dynamically dimension a rule-based reasoner at runtime according to the features of the particular semantic application. This reasoner is implemented and evaluated on a resourceconstrained sensor platform. Experiments show that the composition algorithms outperform the original non-composable reasoner while retaining the same level of reasoning capability.