Abstract
We present a first treatment dealing with the semantics of visual spatial query languages for geographic information systems using a suitable description logic. This decidable space logic is described and its usefulness for geographic information systems is exemplified. The logic supports the specification of a semantics, reasoning about query subsumption and about applying default knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Borgida, A. (1995). Description logics in data management. IEEE Transactions on Knowledge and Data Engineering 7(5):671–682.
Brachman, R. and Schmolze, J. (1985). An overview of the KL-ONE knowledge representation system. Cognitive Science pp. 171–216.
Haarslev, V. (1998). A fully formalized theory for describing visual notations. In K. Marriott and B. Meyer (Eds), Visual language theory. Berlin:Springer, pp. 261–292.
Haarslev, V. (1998). A logic-based formalism for reasoning about visual representations (extended abstract). In Proceedings, AAAI workshop on formalizing reasoning with visual and diagrammatic representations, AAAI fall symposium series, 23–25 October. Orlando, FL: AAAI Press, pp. 57–66.
Haarslev, V. (1999). A logic-based formalism for reasoning about visual representations. Journal of Visual Languages and Computing 10(4):421–445.
Haarslev, V., Lutz, C. and Möller, R. (1998). Foundations of spatioterminological reasoning with description logics. In T. Cohn, L. Schubert and S. Shapiro (Eds), Proceedings, sixth international conference on principles of knowledge representation and reasoning (KR’98), Trento, Italy, 2–5 June, pp. 112–123.
Haarslev, V., Lutz, C. and Möller, R. (1999). A description logic with concrete domains and a role-forming predicate operator. Journal of Logic and Computation 9(3):351–384.
Haarslev, V., Möller, R. and Wessel, M. (1999). On specifying semantics of visual spatial query languages. In 1999 IEEE symposium on visual languages, Tokyo, Japan, 13–16 September. Los Alamitos, CA: IEEE Computer Society Press, pp.4–11.
Haarslev, V. and Wessel, M. (1997). Querying GIS with animated spatial sketches. In 1997 IEEE symposium on visual languages, Capri, Italy, 23–26 September. Los Alamitos, CA: IEEE Computer Society Press, pp. 197–204.
Lutz, C. (1999). On the complexity of terminological reasoning. Technical Report LTCS-99–04, RWTH Aachen.
Möller, R. and Wessel, M. (1999). Terminological default reasoning about spatial information: A first step. In Proceedings of COSIT’99, International conference on spatial information theory, Stade. Berlin: Springer, pp. 172–189.
Tarski, A. (1951). A decision method for elementary algebra and geometry. Berkeley, CA: University of California Press.
Wessel, M. and Haarslev, V. (1998). VISCO: Bringing visual spatial querying to reality. In 1998 IEEE symposium on visual languages, Halifax, Canada, 1–4 September. Los Alamitos, CA: IEEE Computer Society Press, pp. 170–177.
Woods, W. and Schmolze, J. (1992). The KL-ONE family. In F. Lehmann (Ed.), Semantic networks in artificial intelligence, Oxford: Pergamon Press, pp. 133–177.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag London
About this chapter
Cite this chapter
Haarslev, V., Möller, R., Wessel, M. (2002). Visual Spatial Query Languages: A Semantics Using Description Logic. In: Anderson, M., Meyer, B., Olivier, P. (eds) Diagrammatic Representation and Reasoning. Springer, London. https://doi.org/10.1007/978-1-4471-0109-3_22
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0109-3_22
Publisher Name: Springer, London
Print ISBN: 978-1-85233-242-6
Online ISBN: 978-1-4471-0109-3
eBook Packages: Springer Book Archive