论文信息 - On specifying semantics of visual spatial query languages

On specifying semantics of visual spatial query languages

We present a first treatment dealing with semantics of visual spatial query languages for GIS using a suitable description logic. This decidable space logic is described and its usefulness for GIS exemplified. The logic supports the specification of semantics, reasoning about query subsumption and about applying default knowledge.

[1] Volker Haarslev,et al. Foundations of Spatioterminological Reasoning with Description Logics , 1998, KR.

[2] Volker Haarslev,et al. Querying GIS with animated spatial sketches , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[3] James G. Schmolze,et al. The KL-ONE family , 1992 .

[4] Alexander Borgida,et al. Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[5] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .

[6] Volker Haarslev,et al. A fully formalized theory for describing visual notations , 1998 .

[7] Ronald J. Brachman,et al. An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[8] Volker Haarslev,et al. A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[9] Michael Wessel,et al. Terminological Default Reasoning about Spatial Information: A First Step , 1999, COSIT.

[10] Volker Haarslev,et al. VISCO: bringing visual spatial querying to reality , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[11] Volker Haarslev,et al. A Logic-based Formalism for Reasoning about Visual Representations , 1999, J. Vis. Lang. Comput..

[12] Ronald J. Brachman,et al. An overview of the KL-ONE Knowledge Representation System , 1985 .