Jini Specification
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
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
Mobile Web Services for Collaborative Learning
WMTE '06 Proceedings of the Fourth IEEE International Workshop on Wireless, Mobile and Ubiquitous Technology in Education
Using Google distance to weight approximate ontology matches
Proceedings of the 16th international conference on World Wide Web
A Light-weight Framework for Hosting Web Services on Mobile Devices
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Journal of Systems and Software
Integrating Mobile Devices into Semantic Services Environments
ICWMC '08 Proceedings of the 2008 The Fourth International Conference on Wireless and Mobile Communications
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
Hi-index | 0.00 |
With the emergence of high-end smart phones/PDAs there is an emerging opportunity to enrich mobile/pervasive services with semantic reasoning. This paper presents novel strategies for optimising semantic reasoning for realising semantic applications and services on mobile devices. Our mTableaux algorithm optimises the reasoning process to facilitate service selection. Since even optimised reasoning may be too resource intensive to complete, depending on ontology size and resource availability, we also outline our adaptive reasoning strategy which reduces result accuracy when resources become low. We also evaluate the impact of our strategies on performance and accuracy and show that mTableaux significantly improves performance.