RFID meets bluetooth in a semantic based u-commerce environment
Proceedings of the ninth international conference on Electronic commerce
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
MiRE4OWL: Mobile Rule Engine for OWL
COMPSACW '10 Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops
Concept abduction and contraction in semantic-based P2P environments
Web Intelligence and Agent Systems
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Hi-index | 0.00 |
Reasoning in pervasive computing has to face computational issues inherited by mobile platforms. This paper presents a prototypical reasoner for mobile devices, which leverages Semantic Web technologies to implement both standard (subsumption, satisfiability, classification) and non-standard (abduction, contraction) inferences for moderately expressive knowledge bases. System features are surveyed, followed by early performance analysis.