Navigation and mapping in large-scale space
AI Magazine
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
The spatial semantic hierarchy
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Modelling Navigational Knowledge by Route Graphs
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
A Taxonomy of Granular Partitions
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Granularity in Reference to Spatio-Temporal Location and Relations
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Spatial knowledge representation for human-robot interaction
Spatial cognition III
Journal of Intelligent and Robotic Systems
Tiered Models of Spatial Language Interpretation
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
The Knowledge Engineering Review
Active-semantic localization with a single consumer-grade camera
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Bayesian robot localization using spatial object contexts
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A framework for utilizing qualitative spatial relations between networked embedded systems
Pervasive and Mobile Computing
How to Track Absolutely Everything
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Using semantic technologies to describe robotic embodiments
Proceedings of the 6th international conference on Human-robot interaction
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Specification of an ontology for route graphs
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Towards dialogue based shared control of navigating robots
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Nesting the context for pervasive robotics
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Applied ontologies and standards for service robots
Robotics and Autonomous Systems
| Hi-index | 0.00 |
In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarchy of Kuipers and the Route Graph of Krieg-Brückner, Werner and others. The ontological framework is based on our current work on ontology specification, where we are investigating Masolo et al.'s Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) extended particularly for space and navigation by incorporating aspects of Smith et al.'s Basic Formal Ontology (BFO). Our conclusion is that ontology should necessarily play an important role in the design and modelling of cognitive robotic systems: comparability between approaches is improved, modelling gaps and weaknesses are highlighted, re-use of existing formalisations is facilitated, and extensions for interaction with other components, such as natural language systems, are directly supported.