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
Journal of Systems and Software
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A System Architecture for Context-Aware Service Discovery
Electronic Notes in Theoretical Computer Science (ENTCS)
IRS-III: a broker for semantic web services based applications
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Non-Monotonic Modeling for Personalized Services Retrieval and Selection
International Journal of Systems and Service-Oriented Engineering
Hi-index | 0.00 |
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrained computational resources. This paper presents our m-Tableaux algorithm for enabling cost-efficient and optimised semantic reasoning to support semantic service matching, on the device itself. We present a performance evaluation of the m-Tableaux optimisation strategies which clearly demonstrate its operational feasibility on a mobile device. We also present comparative evaluations with other semantic reasoners and establish the improved performance of our engine.