CASL: the common algebraic specification language
Theoretical Computer Science
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Roadmap to Ontology Specification Languages
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
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
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
A Discussion of Simultaneous Localization and Mapping
Autonomous Robots
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Modelling models of robot navigation using formal spatial ontology
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Autonomous construction of hierarchical voronoi-based route graph representations
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
Where to go: interpreting natural directions using global inference
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Utilizing object-object and object-scene context when planning to find things
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
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
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Voronoi graph matching for robot localization and mapping
Transactions on computational science IX
Voronoi graph matching for robot localization and mapping
Transactions on computational science IX
Making workflows situation aware: an ontology-driven framework for dynamic spatial systems
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Autonomous construction of hierarchical voronoi-based route graph representations
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
On qualitative route descriptions: representation and computational complexity
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
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.