Abstract:
Temporal and spatial constraint networks do not live alone
in the wilderness.
In many cases they are components of larger systems
e.g., temporal database systems, spatial database systems,
knowledge representation systems, natural language systems, planning
systems, scheduling systems, multimedia systems and so on.
We believe that an interesting new frontier for temporal and spatial
reasoning research is the formalisation, analysis and
possible re-implementation of systems where
temporal or spatial reasoners are an important component.
In this paper we will make a first contribution to this exciting
area of research. We will consider temporal constraint networks
complemented by a database for storing the information typically
used to label network nodes. We will then study the computational
complexity of querying the combined system using a first order
modal query language.
Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.