Results 1  10
of
702
Qualitative Spatial Representation and Reasoning: An Overview
 FUNDAMENTA INFORMATICAE
, 2001
"... The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of the representation of qualitative knowledge including ontological aspects, topology, distance, orientation and shape. We also consider qualitative spatial reasoning inclu ..."
Abstract

Cited by 245 (19 self)
 Add to MetaCart
The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of the representation of qualitative knowledge including ontological aspects, topology, distance, orientation and shape. We also consider qualitative spatial reasoning including reasoning about spatial change. Finally there is a discussion of theoretical results and a glimpse of future work. The paper is a revised and condensed version of [33, 34].
An Ontology for ContextAware Pervasive Computing Environments
 Special Issue on Ontologies for Distributed Systems, Knowledge Engineering Review
, 2003
"... Ontologies are a key component for building open and dynamic distributed pervasive computing systems in which agents and devices share contextual information. We describe our use of the Web Ontology Language OWL and other tools for building the foundation ontology for the Context Broker Archite ..."
Abstract

Cited by 235 (9 self)
 Add to MetaCart
Ontologies are a key component for building open and dynamic distributed pervasive computing systems in which agents and devices share contextual information. We describe our use of the Web Ontology Language OWL and other tools for building the foundation ontology for the Context Broker Architecture (CoBrA), a new contextaware pervasive computing framework. The current version of the CoBrA ontology models the basic concepts of people, agents, places, and presentation events in an intelligent meeting room environment. It provides a vocabulary of terms for classes and properties suitable for building practical systems that model context in pervasive computing environments. We also describe our ongoing research in developing an OWL inference engine using Flora2 and in extending the present CoBrA ontology to use the DAML spatial and temporal ontologies.
Formal Ontology, Conceptual Analysis and Knowledge Representation
 INTERNATIONAL JOURNAL OF HUMAN AND COMPUTER STUDIES
, 1995
"... The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current practice of knowledge engineering, to explore the various relationships between ontology and knowledge representation, and to present the recent trends in this promising research area. ..."
Abstract

Cited by 218 (13 self)
 Add to MetaCart
The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current practice of knowledge engineering, to explore the various relationships between ontology and knowledge representation, and to present the recent trends in this promising research area. According to the "modelling view" of knowledge acquisition proposed by Clancey, the modeling activity must establish a correspondence between a knowledge base and two separate subsystems: the agent's behavior (i.e. the problemsolving expertize) and its own environment (the problem domain). Current knowledge modelling methodologies tend to focus on the former subsystem only, viewing domain knowledge as strongly dependent on the particular task at hand: in fact, AI researchers seem to have been much more interested in the nature of reasoning rather than in the nature of the real world. Recently, however, the potential value of taskindependent knowlege bases (or "ontologies") suitable to large scale integration has been underlined in many ways. In this paper, we compare the dichotomy between reasoning and representation to the philosophical distinction between epistemology and ontology. We introduce the notion of the ontological level, intermediate between the epistemological and the conceptual level discussed by Brachman, as a way to characterize a knowledge representation formalism taking into account the intended meaning of its primitives. We then discuss some formal ontological distinctions which may play an important role for such purpose.
SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications
 In Int. Conf. on Mobile and Ubiquitous Systems: Networking and Services
, 2004
"... We describe a shared ontology called SOUPA – Standard Ontology for Ubiquitous and Pervasive Applications. SOUPA is designed to model and support pervasive computing applications. This ontology is expressed using the Web Ontology Language OWL and includes modular component vocabularies to represent i ..."
Abstract

Cited by 152 (5 self)
 Add to MetaCart
(Show Context)
We describe a shared ontology called SOUPA – Standard Ontology for Ubiquitous and Pervasive Applications. SOUPA is designed to model and support pervasive computing applications. This ontology is expressed using the Web Ontology Language OWL and includes modular component vocabularies to represent intelligent agents with associated beliefs, desires, and intentions, time, space, events, user profiles, actions, and policies for security and privacy. We discuss how SOUPA can be extended and used to support the applications of CoBrA, a brokercentric agent architecture for building smart meeting rooms, and MoGATU, a peertopeer data management for pervasive environments. 1.
The `EggYolk' Representation Of Regions with Indeterminate Boundaries
, 1995
"... The paper proposes an approach to representing and reasoning about spatial regions with undetermined boundaries, using an adaptation of `RCCtheory', a regionbased system for representing qualitative spatial relations developed over the last few years (Randell, Cui and Cohn 1992, Cohn, Randell ..."
Abstract

Cited by 150 (11 self)
 Add to MetaCart
The paper proposes an approach to representing and reasoning about spatial regions with undetermined boundaries, using an adaptation of `RCCtheory', a regionbased system for representing qualitative spatial relations developed over the last few years (Randell, Cui and Cohn 1992, Cohn, Randell and Cui 1994). The approach proposed is referred to as the `eggyolk' representation: a region with undetermined boundaries (a `vague region') is represented by a pair of concentric regions with determinate boundaries (`crisp regions'), which provide limits (not necessarily the tightest limits possible) on the range of indeterminacy. 1 Introduction The topic of this paper is how best to deal with vagueness in spatial representation and reasoning, particularly within the framework of `RCCtheory', (Randell, Cui and Cohn 1992, Cohn et al. 1994), which provides a representation of topological properties and relations in which regions rather than points are taken as primitive. We are concern...
On the Equivalence of Topological Relations
 International Journal of Geographical Information Systems
, 1995
"... Abstract. Analysis of global geographic phenomena requires nonplanar models. In the past, models for topological relations have focused either on a twodimensional or a threedimensional space. When applied to the surface of a sphere, however, neither of the two models suffices. For the twodimensio ..."
Abstract

Cited by 145 (21 self)
 Add to MetaCart
Abstract. Analysis of global geographic phenomena requires nonplanar models. In the past, models for topological relations have focused either on a twodimensional or a threedimensional space. When applied to the surface of a sphere, however, neither of the two models suffices. For the twodimensional planar case, the eight binary topological relations between spatial regions are well known from the 9intersection model. This paper systematically develops the binary topological relations that can be realized on the surface of a sphere. Between two regions on the sphere there are three binary relations that cannot be realized in the plane. These relations complete the conceptual neighborhood graph of the eight planar topological relations in a regular fashion, providing evidence for a regularity of the underlying mathematical model. The analysis of the algebraic compositions of spherical topological relations indicates that spherical topological reasoning often provides fewer ambiguities than planar topological reasoning. Finally, a comparison with the relations that can be realized for onedimensional, ordered cycles draws parallels to the spherical topological relations. 1
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
 Artificial Intelligence
, 1997
"... The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NPhard reasoning problems has not been addressed yet. In this paper we explore this boundary in the "Region Connection Calculus&quo ..."
Abstract

Cited by 138 (24 self)
 Add to MetaCart
(Show Context)
The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NPhard reasoning problems has not been addressed yet. In this paper we explore this boundary in the "Region Connection Calculus" RCC8. We extend Bennett's encoding of RCC8 in modal logic. Based on this encoding, we prove that reasoning is NPcomplete in general and identify a maximal tractable subset of the relations in RCC8 that contains all base relations. Further, we show that for this subset pathconsistency is sufficient for deciding consistency. 1 Introduction When describing a spatial configuration or when reasoning about such a configuration, often it is not possible or desirable to obtain precise, quantitative data. In these cases, qualitative reasoning about spatial configurations may be used. One particular approach in this context has been developed by Randell, Cui, and Cohn [20], the socalled Region Connecti...
Econnections of abstract description systems
"... Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because nontrivial AI applications often comprise different aspects of the world, thus requiring suitable combinations of available formalisms modeling each of these aspects. It is chal ..."
Abstract

Cited by 120 (35 self)
 Add to MetaCart
(Show Context)
Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because nontrivial AI applications often comprise different aspects of the world, thus requiring suitable combinations of available formalisms modeling each of these aspects. It is challenging because the computational behavior of the resulting hybrids is often much worse than the behavior of their components. In this paper, we propose a new combination method which is computationally robust in the sense that the combination of decidable formalisms is again decidable, and which, nonetheless, allows nontrivial interactions between the combined components. The new method, called Econnection, is defined in terms of abstract description systems (ADSs), a common generalization of description logics, many logics of time and space, as well as modal and epistemic logics. The basic idea of Econnections is that the interpretation domains of n combined systems are disjoint, and that these domains are connected by means of nary ‘link relations. ’ We define several natural variants of Econnections and study indepth the transfer of decidability from the component systems to their Econnections. Key words: description logics, temporal logics, spatial logics, combining logics, decidability.
Qualitative Spatial Reasoning: Cardinal Directions as an Example
, 1996
"... Geographers use spatial reasoning extensively in largescale spaces, i.e., spaces that cannot be seen or understood from a single point of view. Spatial reasoning differentiates several spatial relations, e.g. topological or metric relations, and is typically formalized using a Cartesian coordinate ..."
Abstract

Cited by 118 (7 self)
 Add to MetaCart
Geographers use spatial reasoning extensively in largescale spaces, i.e., spaces that cannot be seen or understood from a single point of view. Spatial reasoning differentiates several spatial relations, e.g. topological or metric relations, and is typically formalized using a Cartesian coordinate system and vector algebra. This quantitative processing of information is clearly different from the ways humans draw conclusions about spatial relations. Formalized qualitative reasoning processes are shown to be a necessary part of Spatial Expert Systems and Geographic Information Systems. Addressing a subset of the total problem, namely reasoning with cardinal directions, a completely qualitative method, without recourse to analytical procedures, is introduced and a method for its formal comparison with quantitative formulae is defined. The focus is on the analysis of cardinal directions and their properties. An algebraic method is used to formalize the meaning of directions. The standard...