Jini Specification
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Need for non-visual feedback with long response times in mobile HCI
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Semantic Web Service Discovery in the OWL-S IDE
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 06
Mobile Web Service Provisioning
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Using Google distance to weight approximate ontology matches
Proceedings of the 16th international conference on World Wide Web
Unifying Reasoning and Search to Web Scale
IEEE Internet Computing
Journal of Systems and Software
A middleware for context-aware agents in ubiquitous computing environments
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Replication and versioning of partial RDF graphs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Hi-index | 0.00 |
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic nature of mobile environment means that users need accurate and fast approaches for service discovery. In order achieve high accuracy semantic languages can be used in conjunction with logic reasoners. Since powerful broker nodes are not always available (due to lack of long range connectivity), create a bottleneck (since mobile devices are all trying to access the same server) and single point of failure (in the case that a central server fails), on-board mobile reasoning must be supported. However, reasoners are notoriously resource intensive and do not scale to small devices. Therefore, in this paper we provide an efficient mobile reasoner which relaxes the current strict and complete matching approaches to support anytime reasoning. Our approach matches the most important request conditions (deemed by the user) first and provides a degree of match and confidence result to the user. We provide a prototype implementation and performance evaluation of our work.