Specification of an ontology for Route Graphs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3343, Issue , 2005, Pages 390-412

  Krieg Brückner, Bernd ^a   Frese, Udo ^a   Lüttich, Klaus ^a   Mandel, Christian ^a   Mossakowski, Till ^a   Ross, Robert J ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; GRAPH THEORY;

ONTOLOGY; ROUTE GRAPHS; TAXONOMY;

ARTIFICIAL INTELLIGENCE;

EID: 26444580707     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32255-9_22     Document Type: Conference Paper

References (26)

1. Werner, S., Krieg-Brückner, B., Herrmann, T.: Modelling navigational knowledge by route graphs. In Freksa, C., Habel, C., Wender, K., eds.: Spatial Cognition II. Number 1849 in LNAI. Springer (2000) 295-317
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 - Reasoning, Action, Interaction. Number 3343 in LNAI. Springer (2004) 366-389
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) (2004) 1744-1755
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 - Reasoning, Action, Interaction. Number 3343 in LNAI. Springer (2004) 478-499
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., eds.: Spatial Cognition. Number 1404 in LNAI. Springer (1998) 373-397
6. Uschold, M., Grüninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review 11 (1996) 93-155
7. Gómez-Pérez, A., Benjamins, V.R., eds.: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, Proceedings. In Gómez-Pérez, A., Benjamins, V.R., eds.: EKAW. Volume 2473 of Lecture Notes in Computer Science., Springer (2002)
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, Springer (2000) 80-96
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 http://www.w3.org/TR/owl-ref/ (2004)
10. (http://www.informatik.uni-bremen.de/agbkb/publikationen/softlibrary_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: Recent Trends in Algebraic Development Techniques. Volume 2755 of Lecture Notes in Computer Science., Springer (2003) 82-117
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. Volume P-52 of Lecture Notes in Informatics., Springer (2004) 271-282
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 (2002) 153-196 www.cofi.info.
15. Mosses, P.D., ed.: CASL Reference Manual. Volume 2960 of Lecture Notes in Computer Science. Springer (2004)
16. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. [7] 166-181
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). Volume 114 of Frontiers in Artificial Intelligence and Applications., IOS-Press (2004) 140-150
18. Lüttich, K., Krieg-Brückner, B., Mossakowski, T.: Ontologies for the semantic web in CASL. 17th Int. Workshop on Algebraic Development Techniques (2004) (to appear).
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 - Reasoning, Action, Interaction. Number 3343 in LNAI. Springer (2004) 413-433
20. Randell, D., Gui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings KR-92, San Mateo, Morgan Kaufmann (1992) 165-176
21. Moratz, R., Wallgrün, J.O.: Spatial reasoning about relative orientation and distance for robot exploration. In Kühn, W., Worboys, M., Timpf, S., eds.: Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT). Lecture Notes in Computer Science, Springer (2003) 61-74
22. Frese, U., Larsson, P., Duckett, T.: A multigrid algorithm for simultaneous localization and mapping. IEEE Transactions on Robotics (2004) (to appear).
23. Frese, U.: A discussion of simultaneous localization and mapping. Autonomous Robots (2004) (submitted).
24. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL -A Proof Assistant for Higher-Order Logic. Springer Verlag (2002)
25. Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., Topic, D.: SPASS version 2.0. In Voronkov, A., ed.: Automated Deduction - CADE-18. Volume 2392 of Lecture Notes in Computer Science., Springer (2002) 275-279
26. Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA (system description). In Kirchner, H., Reingeissen, C., eds.: Algebraic Methodology and Software Technology, 2002. Volume 2422 of Lecture Notes in Computer Science. Springer (2002) 495-502