Abstract. This paper describes the general concept of Route Graphs, 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 Route Graphs in an indoors environment, giving at first just a taxonomy of (sub)classes and relations between them, as well as to other (spatial) ontologies. Finally, we show how to formalise ontologies using a First Order Logic approach, and give an outline of how to develop actual data structures and algorithms for Route Graphs.
In this paper we propose that adequate treatments of space need to be multiperspectival and related to sound foundational ontologies. To support this, we show that natural spatial descriptions commonly appeal to diverse theories of space and these need to be formally combined to be fully interpreted. Our account draws particularly on the foundational ontology DOLCE and the algebraic specification language CASL. We show how the structuring mechanisms of CASL suggest mechanisms for both building and combining multiperspectival ontologies of space. We also suggest that these mechanisms provide a natural link both with currently emerging cognitive principles such as blending and with developments in ontology mediation and mapping.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.