Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks

Stephanie von Riegen, Lothar Hotz, Pascal Rost

2012

Abstract

This paper presents an application of spatial and ontology reasoning technologies for mobile robot tasks. We provide a combination of the spatial reasoning calculi RCC-8 and CDC as well as their integration with OWL-based ontologies. An architecture that combines inference tools like Prolog, description logic reasoners, and complex-event processing implements our approach. We illustrate the results with a mobile robot scenario in a restaurant. In this paper, global path-finding demonstrates the use of qualitative spatial and ontological reasoning.

References

  1. Antoniou, G. and Harmelen, F. V. (2003). Web Ontology Language: OWL. In Handbook on Ontologies in Information Systems, pages 67-92. Springer.
  2. Bhatt, M., Dylla, F., and Hois, J. (2009). Spatioterminological inference for the design of ambient environments. In COSIT, pages 371-391.
  3. Dijkstra, E. W. (1959). A note on two problems in connexion with graphs. Numerische Mathematik, 1:269-271.
  4. Goyal, R. K. (2000). Similarity assessment for cardinal directions between extended spatial objects. PhD thesis, The University of Maine. AAI9972143.
  5. Katz, Y. and Grau, B. C. (2005). Representing qualitative spatial information in owl-dl. In Proceedings of the OWL: Experiences and Directions Workshop. Galway.
  6. Levesque, H. and Lakemeyer, G. (2007). Cognitive Robotics. In van Harmelen, F., Lifschitz, V., and Porter, B., editors, Handbook of Knowledge Representation. Elsevier.
  7. Randell, D. A., Cui, Z., and Cohn, A. G. (1992). A spatial logic based on regions and connection. In PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING.
  8. Renz, J. and Nebel, B. (2007). Qualitative spatial reasoning using constraint calculi. In Aiello, M., PrattHartmann, I., and van Benthem, J., editors, Handbook of Spatial Logics, pages 161-215. Springer.
  9. Rost, P., Hotz, L., and von Riegen, S. (2012). Supporting Mobile Robot's Tasks through Qualitative Spatial Reasoning. In Bernard, A. e. a., editor, 9th International Conference on Informatics in Control, Automation and Robotics. upcoming.
  10. Tsang, E. (1993). Foundations of Constraint Satisfaction. Academic Press, London, San Diego, New York.
  11. Vangelis Vassiliadis, Chris Mungall (2012). A toolbox for Qualitative Spatial Reasoning in applications. http:// www.semanticweb.gr/thea/index.html. Date: March, 10th 2012.
Download


Paper Citation


in Harvard Style

von Riegen S., Hotz L. and Rost P. (2012). Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012) ISBN 978-989-8565-30-3, pages 377-380. DOI: 10.5220/0004140003770380


in Bibtex Style

@conference{keod12,
author={Stephanie von Riegen and Lothar Hotz and Pascal Rost},
title={Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)},
year={2012},
pages={377-380},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004140003770380},
isbn={978-989-8565-30-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)
TI - Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks
SN - 978-989-8565-30-3
AU - von Riegen S.
AU - Hotz L.
AU - Rost P.
PY - 2012
SP - 377
EP - 380
DO - 10.5220/0004140003770380