Specification of an Ontology for Route Graphs | SpringerLink
Skip to main content
Springer Nature Link
Log in

Specification of an Ontology for Route Graphs

  • Conference paper
Spatial Cognition IV. Reasoning, Action, Interaction (Spatial Cognition 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3343))

Included in the following conference series:

Abstract

This paper describes the general concept of RouteGraphs, to be used for navigation by various agents in a variety of scenarios. We introduce the concept of an ontology and describe the modelling of general graphs as an example. This approach is then applied to define a “light-weight” ontology of RouteGraphs in an indoors environment, giving at first just a taxonomy of (sub)classes and relations between them, as well as to other (spatial) ontology. Finally, we show how to formalise ontology using a First Order Logic approach, and give an outline of how to develop actual data structures and algorithms for RouteGraphs.

This paper has been supported by the Deutsche Forschungsgemeinschaft (DFG) in the SFB/TR 8 Spatial Cognition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Werner, S., Krieg-Brückner, B., Herrmann, T.: Modelling navigational knowledge by route graphs. In: Habel, C., Brauer, W., Freksa, C., Wender, K.F. (eds.) Spatial Cognition 2000. LNCS (LNAI), vol. 1849, pp. 295–317. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  2. Bateman, J., Farrar, S.: Modelling models of robot navigation using formal spatial ontology. In: Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol. 3343, pp. 366–389. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Krieg-Brückner, B., Shi, H., Ross, R.J.: A safe and robust approach to shared control via dialogue. Journal of Software 15(12), 1744–1755 (2004)

    Google Scholar 

  4. Ross, R., Shi, H., Vierhuff, T., Krieg-Brückner, B., Bateman, J.: Towards dialogue-based shared control of navigating robots. In: Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol. 3343, pp. 478–499. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Krieg-Brückner, B., Röfer, T., Carmesin, H.O., Müller, R.: A taxonomy of spatial knowledge for navigation and its application to the bremen autonomous wheelchair. In: Freksa, C., Habel, C., Wender, K.F. (eds.) Spatial Cognition 1998. LNCS (LNAI), vol. 1404, pp. 373–397. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Uschold, M., Grüninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review 11, 93–155 (1996)

    Article  Google Scholar 

  7. Gómez-Pérez, A., Benjamins, V.R.(eds): Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473. Springer, Heidelberg (2002)

    Google Scholar 

  8. Corcho, O., Gómez-Pérez, A.: A roadmap to ontology specification languages. In: Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management, pp. 80–96. Springer, Heidelberg (2000)

    Google Scholar 

  9. Bechhofer, S., van Hermelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: W3C: OWL Web Ontology Language – Reference. W3C Recommendation  (2004), http://www.w3.org/TR/owl-ref/

  10. http://www.informatik.uni-bremen.de/agbkb/publikationensoftlibrary_e.htm

  11. http://www.informatik.uni-bremen.de/~davinci/

  12. Krieg-Brückner, B., Hutter, D., Lindow, A., Lüth, C., Mahnke, A., Melis, E., Meier, P., Poetzsch-Heffter, A., Roggenbach, M., Russell, G., Smaus, J.G., Wirsing, M.: Multimedia instruction in safe and secure systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 82–117. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Krieg-Brückner, B., Lindow, A., Lüth, C., Mahnke, A., Russell, G.: Semantic interrelation of documents via an ontology. In: Engels, G., Seehusen, S. (eds.) DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik. Lecture Notes in Informatics, vol. P-52, pp. 271–282. Springer, Heidelberg (2004)

    Google Scholar 

  14. Astesiano, E., Bidoit, M., Krieg-Brückner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl – the common algebraic specification language. Theoretical Computer Science 286, 153–196 (2002), www.cofi.info

    Article  MATH  MathSciNet  Google Scholar 

  15. Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  16. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: [7], pp. 166–181

    Google Scholar 

  17. Lüttich, K., Mossakowski, T.: Specification of ontologies in CASL. In: Varzi, A.C., Vieu, L. (eds.) Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS 2004). Frontiers in Artificial Intelligence and Applications, vol. 114, pp. 140–150. IOS Press, Amsterdam (2004)

    Google Scholar 

  18. Lüttich, K., Krieg-Brückner, B., Mossakowski, T.: Ontologies for the semantic web in CASL. In: 17th Int. Workshop on Algebraic Development Techniques (2004) (to appear)

    Google Scholar 

  19. Wallgrün, J.O.: Autonomous construction of hierarchical voronoi-based route graph representations. In: Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol. 3343, pp. 413–433. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  20. Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings KR 1992, pp. 165–176. Morgan Kaufmann, San Mateo (1992)

    Google Scholar 

  21. Moratz, R., Wallgrün, J.O.: Spatial reasoning about relative orientation and distance for robot exploration. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol. 2825, pp. 61–74. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  22. Frese, U., Larsson, P., Duckett, T.: A multigrid algorithm for simultaneous localization and mapping. IEEE Transactions on Robotics (2004) (to appear)

    Google Scholar 

  23. Frese, U.: A discussion of simultaneous localization and mapping. Autonomous Robots (2004) (submitted)

    Google Scholar 

  24. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL — A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  25. Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., Topic, D.: SPASS version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, pp. 275–279. Springer, Heidelberg (2002)

    Google Scholar 

  26. Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 495–502. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB3 Mathematik und Informatik, Universität Bremen, Postfach 330 440, D-28334, Bremen

    Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski & Robert J. Ross

Authors
  1. Bernd Krieg-Brückner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Udo Frese
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Klaus Lüttich
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christian Mandel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Till Mossakowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Robert J. Ross
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SFB/TR 8 Spatial Cognition, Universität Bremen, Bibliothekstr. 1, 28359, Bremen, Germany

    Christian Freksa

  2. Center for Cognitive Science, Friedrichstraße 50, 79098, Freiburg, Germany

    Markus Knauff

  3. Universität Bremen and DFKI-Lab Bremen, P.O. Box, Germany

    Bernd Krieg-Brückner

  4. Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

    Bernhard Nebel

  5. SFB/TR 8 Spatial Cognition, Universität Bremen, Germany

    Thomas Barkowsky

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krieg-Brückner, B., Frese, U., Lüttich, K., Mandel, C., Mossakowski, T., Ross, R.J. (2005). Specification of an Ontology for Route Graphs. In: Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B., Barkowsky, T. (eds) Spatial Cognition IV. Reasoning, Action, Interaction. Spatial Cognition 2004. Lecture Notes in Computer Science(), vol 3343. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32255-9_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-32255-9_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25048-7

  • Online ISBN: 978-3-540-32255-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation