Supporting Mobile Robot’s Tasks through Qualitative Spatial Reasoning

Pascal Rost, Lothar Hotz, Stephanie von Riegen

2012

Abstract

In this paper, we present an application of qualitative spatial reasoning technologies for supporting mobile robot tasks. While focusing on detection of interaction ability, 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 uses Prolog and complex-event processing implements our approach. We illustrate the results with a mobile robot scenario in a restaurant.

References

  1. Anicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N., and Studer, R. (2010). A Rule-Based Language for Complex Event Processing and Reasoning. In Hitzler, P. and Lukasiewicz, T., editors, Web Reasoning and Rule Systems, volume 6333 of Lecture Notes in Computer Science, pages 42-57. Springer Berlin / Heidelberg.
  2. Antoniou, G. and Harmelen, F. V. (2003). Web Ontology Language: OWL. In Handbook on Ontologies in Information Systems, pages 67-92. Springer.
  3. Bhatt, M., Dylla, F., and Hois, J. (2009). Spatioterminological inference for the design of ambient environments. In COSIT, pages 371-391.
  4. Motik, B. and Shearer, R. and Glimm, B. and Stoilos, G. and Horrocks, I. (2011). Hermit OWL Reasoner. http://hermit-reasoner.com/. Date: March, 6th 2012.
  5. Clark and Parsia, LLC (2011). Pellet: OWL 2 Reasoner for Java. http://clarkparsia.com/pellet. Date: March, 1st 2012.
  6. Anicic, D. and Fodor, P. (2011). etalis - Eventdriven Transaction Logic Inference System. http://code.google.com/p/etalis/. Date: February, 25th 2012.
  7. Goyal, R. K. (2000). Similarity assessment for cardinal directions between extended spatial objects. PhD thesis, The University of Maine. AAI9972143.
  8. Grütter, R. and Scharrenbach, T. (2009). A qualitative approach to vague spatio-thematic query processing. In Terra Cognita (Terra2009).
  9. Hogenboom, F., Borgman, B., Frasincar, F., and Kaymak, U. (2010a). Spatial knowledge representation on the semantic web. In Semantic Computing (ICSC), 2010 IEEE Fourth International Conference on, pages 252 -259.
  10. Hogenboom, F., Frasincar, F., and Kaymak, U. (2010b). A review of approaches for representing rcc8 in owl. In Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 7810, pages 1444-1445, New York, NY, USA. ACM.
  11. Wielemaker, J. et al. (2012). SWI-Prolog - a comprehensive Free Software Prolog environment. http://www.swiprolog.org/. Stand: 8. März 2012.
  12. Katz, Y. and Grau, B. C. (2005). Representing qualitative spatial information in owl-dl. In Proceedings of the OWL: Experiences and Directions Workshop. Galway.
  13. Levesque, H. and Lakemeyer, G. (2007). Cognitive Robotics. In van Harmelen, F., Lifschitz, V., and Porter, B., editors, Handbook of Knowledge Representation. Elsevier.
  14. Li, S. and Ying, M. (2003). Region connection calculus: Its models and composition table. Artificial Intelligence, 145(1U? 2):121 - 146.
  15. McGuinness, D. L. (2003). Configuration. In Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., editors, Description Logic Handbook, pages 397-413. Cambridge University Press.
  16. Racer Systems GmbH Co. KG (2011). RacerPro, der OWL Reasoner und Inference Server für das Semantic Web. http://www.racer-systems.com/. Stand: 8. März 2012.
  17. 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.
  18. 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.
  19. Skiadopoulos, S. and Koubarakis, M. (2004). Composing cardinal direction relations. Artif. Intell., 152:143- 171.
  20. Stocker, M. and Sirin, E. (2009). Pelletspatial: A hybrid rcc-8 and rdf/owl reasoning and query engine.
  21. Tsang, E. (1993). Foundations of Constraint Satisfaction. Academic Press, London, San Diego, New York.
  22. Vassiliadis, V. and Mungall, C. (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

Rost P., Hotz L. and von Riegen S. (2012). Supporting Mobile Robot’s Tasks through Qualitative Spatial Reasoning . In Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8565-22-8, pages 394-399. DOI: 10.5220/0004121803940399


in Bibtex Style

@conference{icinco12,
author={Pascal Rost and Lothar Hotz and Stephanie von Riegen},
title={Supporting Mobile Robot’s Tasks through Qualitative Spatial Reasoning},
booktitle={Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2012},
pages={394-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004121803940399},
isbn={978-989-8565-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Supporting Mobile Robot’s Tasks through Qualitative Spatial Reasoning
SN - 978-989-8565-22-8
AU - Rost P.
AU - Hotz L.
AU - von Riegen S.
PY - 2012
SP - 394
EP - 399
DO - 10.5220/0004121803940399