Enabling Scalable Semantic Reasoning for Mobile Services.

International journal on Semantic Web and information systems (Impact Factor: 0.39). 01/2009; 5:91-116. DOI: 10.4018/jswis.2009040104
Source: DBLP

ABSTRACT With the emergence of high-end smart phones/PDAs there is a growing opportunity to enrich mobile/pervasive services with semantic reasoning. This article presents novel strategies for optimising semantic reasoning for realising semantic applications and services on mobile devices. We have developed the mTableaux algorithm which optimises the reasoning process to facilitate service selection. We present comparative experimental results which show that mTableaux improves the performance and scalability of semantic reasoning for mobile devices.

Download full-text


Available from: Luke Steller, Jul 06, 2015
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: To increase the interoperability and accessibility of data in sensor-rich systems, there has been a recent proliferation of the use of Semantic Web technologies in sensor-rich systems. Quite a range of such applications have emerged, such as hazard monitoring and rescue, context-aware computing, environmental monitoring, field studies, internet of things, and so on. These systems often assume a centralized paradigm for data processing, which does not always hold in reality especially when the systems are deployed in a hostile environment. At runtime, the infrastructure of systems deployed in such an environment is also prone to interference or damage, causing part of the infrastructure to have limited network connection or even to be detached from the rest. A solution to such a problem would be to push the intelligence, such as semantic reasoning, down to the device layer. A key enabler for such a solution is to run semantic reasoning on resource-constrained devices. This paper shows how reasoner composition (i.e. to automatically adjust a reasoning approach to preserve only a " well-suited " amount of reasoning for a given ontology) can achieve resource-efficient semantic reasoning. Two novel reasoner composition algorithms are introduced and implemented. Evaluation indicates that the reasoner composition algorithms greatly reduce the resources required for OWL reasoning, potentially facilitating greater semantic reasoning on sensor devices.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Nowadays, with the advancement in mobile technologies, the use of web services has seen an explosion in interest for mobile comput-ing environment. However, the heavyweight nature of conventional web services to be deployed on mobile devices brings new challenges in mo-bile computing in the coming future. Web services technology and mobile computing domains are converging at their intersection which leads to Mobile Web Services (MWS) which enables the service access in users' mobile device. As the numbers of web services are increasing dramati-cally, the web service discovery becomes more important to discover the usable web services in effective and efficient manner. This paper discusses an overview of mobile challenges in MWS recent research, and a summary of the issues. Moreover, current approaches of Mobile Web Services Dis-covery are classified and these approaches are compared to some criteria. The results of this study will help researchers to deliver more applicable solutions with the most appropriate approaches for Mobile Web Services Discovery.
    Informatics Engineering and Information Science, Edited by Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, Eyas El-Qawasmeh, chapter International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part IV, pages pp 238-252; Springer Berlin Heidelberg., ISBN: 978-3-642-25483-3
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: A number of ontology reasoners have been developed for rea-soning over highly expressive ontology languages such as OWL DL and OWL 2 DL. Such languages have, as a consequence of high expressivity, high worst-case complexity. Therefore, reasoning tasks such as classifica-tion sometimes take considerable time on large and complex ontologies. In this paper, we carry out a comprehensive comparative study to ana-lyze classification performance of four widely-used reasoners, FaCT++, HermiT, Pellet and TrOWL, using a dataset of over 300 real-world on-tologies. Our investigation on correlating reasoner performance with on-tology metrics using machine learning techniques also provides additional insights into the hardness of individual ontologies.