SpaceML: A mark-up language for spatial knowledge

Journal of Visual Languages and Computing

Volumn 13, Issue 1, 2002, Pages 97-116

  Cristani, Matteo ^a   Cohn, Anthony G ^b  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

DTD; Geographical data; Mark up language; Qualitative spatial representation; XML

Indexed keywords

EID: 0036487508     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.2001.0228     Document Type: Article

References (39)

1. M. Cristani (2000) Geo-ML: a Mark-up language for geography-related WebPages. In: CollECTer Conference on Electronic Commerce, Breckenridge, CO, U.S.A.
2. D. A. Randell & A. G. Cohn (1989) Modelling topological and metrical properties of physical processes. In: Proceedings of the 1st International Conference on Knowledge Representation and Reasoning, KR-89 (R. J. Brachman, H. J. Levesque & R. Reiter, eds), Toronto, Ont, Canada, May. Morgan Kaufmann, Los Altos, CA, pp. 55-66.
3. D. A. Randell, Z. Cui & A. G. Cohn (1992) A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, KR-92 (B. Swartout & B. Nebel, eds), Cambridge, MA, U.S.A., October. Morgan Kaufmann, Los Altos, CA, pp. 165-176.
4. M. Cristani (1999) The complexity of reasoning about spatial congruence. Journal of Artificial Intelligence Research 11, 361-390.
5. A. Frank (1992) Qualitative spatial reasoning about distances and directions. Journal of Visual Languages and Computing 3, 343-371.
6. D. Hernández, E. Clementini & P. Di Felice (1995) Qualitative distances. In: Spatial Information Theory: A Theoretical Basis for GIS (A. U. Frank & W. Kuhn, eds), Lecture Notes in Computer Science, No. 988, Semmering, Austria, September COSIT'95. Springer-Verlag, Berlin, pp. 45-58.
7. A. Isli & A. G. Cohn (2000) A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence 122, 137-187.
8. G. Ligozat (1998) Reasoning about cardinal directions. Journal of Visual Languages and Computing 9, 23-44.
9. P. Jonsson & T. Drakengren (1997) A complete classification of tractability in RCC-5. Journal of Artificial Intelligence Research 6, 211-221 (Research Note).
10. M. J. Egenhofer (1991) Reasoning about binary topological relations. In: Advances in Spatial Databases-2nd Symposium SSD '91, Lecture Notes in Computer Science, No. 525 (O. Gunther & H. J. Schek, eds). Springer-Verlag, New York, NY, U.S.A., pp. 143-160.
11. A. G. Cohn, B. Bennett, J. Gooday & N. Gotts (1997). RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica 1, 275-316.
12. Z. Cui (1994) Using interval logic for order assembly. In: Proceedings of the 2nd International Conference on Intelligent Systems in Molecular Biology. AAAI Press, Menlo Park, CA, pp. 103-111.
13. A. G. Cohn (2001) Formalising bio-spatial knowledge. In: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01) (C. Welty & B. Smith, eds), ACM, New York.
14. K. Zimmermann (1995) Measuring without measures: the δ-calculus. In: Spatial Information Theory: A Theoretical Basis for GIS, COSIT'95 (A. U. Frank & W. Kuhn, eds), Lecture Notes in Computer Science, No. 988, Semmering, Austria, September. Springer-Verlag, Berlin pp. 59-67.
15. M. Knauff, R. Rauh & J. Renz (1997) A cognitive assessment of topological spatial relations: results from an empirical investigation. In: COSIT 1997 Conference Proceedings (S. C. Hirtle & A. U. Frank, eds), Laurel Highlands, Pennsylvania, October, pp. 193-206.
16. E. Clementini, P. Di Felice & P. Oosterom (1994) A small set of formal topological relationships suitable for end user interaction. In: Advances in Spatial Databases. Proceedings of the 3rd International Symposium on Spatial Databases, SSD'93 (D. Abel & B. C. Ooi, eds), Singapore, Lecture Notes in Computer Science, No. 692. Springer-Verlag, Berlin, pp. 277-295.
17. M. J. Egenhofer & R. Franzosa (1991) Point-set topological spatial relations. International Journal of Geographical Information Systems 5, 161-174.
18. M. Cristani (1997) Morphological spatial reasoning: preliminary report. Technical Report 08/97, LADSEB-CNR Padova, Italy.
19. A. G. Cohn & S. M. Hazarika (2001) Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 45, 1-29.
20. A. Galton (2000) Qualitative Spatial Change. Oxford University Press, Oxford.
21. S. Wu, A. Chen & Q. Li (2000) GeoML-Geospatial Object Markup Language on Internet. In: Proceedings of the GeoInformatics 2000 Conference, Monterey, CA, U.S.A.
22. A. Cuthbert, B. O'Rourke, E. Keighan, S. Margoulies, J. Sharma, P. Daisey, R. Lake & S. Johnson (2000) Geography Markup Language (GML) v1.0. Technical Report, OGC Document Number: 00-029, OpenGIS Consortium, http://www.opengis.org/techno/specs/00-029/GML.html.
23. B. Smith (1996) Mereotopology: a theory of parts and boundaries. Data and Knowledge Engineering 20, 287-303. (Special Issue on Modelling Parts and Wholes).
24. R. Casati & A. Varzi (1995) Basic issues in spatial representation. In: Proceedings of the 2nd World Conference on the Fundamentals of Artificial Intelligence, Paris, Université Paris VI, France.
25. S. Borgo, N. Guarino & C. Masolo (1996) A pointless theory of space based on strong connection and congruence. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning KR-96 (L. C. Aiello & J. Doyle, Eds), Morgan Kaufmann, San Francisco, CA, U.S.A.
26. S. Borgo, N. Guarino & C. Masolo (1997) An ontological theory of physical objects. In: Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR 1997), (L. Ironi, ed.), Cortona, Italy, pp. 223-231.
27. T. Bray, J. Paoli, C. M. Sperberg-McQueen & E. Maler (2000) Extensible Markup Language (XML) 1.0, (2nd edn). W3C Recommendation. Technical Report, W3C Consortium, http://www.w3.org/TR/REC-xml, October.
28. D. C. Fallside (2001) XML Schema Part 0: Primer W3C Recommendation. Technical report, W3C Consortium, http://www.w3.org/TR/xmlschema-0/, May.
29. H. S. Thompson, D. Beech, M. Maloney & N. Mendelsohn (2001) XML Schema Part 1: Structures W3C Recommendation. Technical Report, W3C Consortium, http://www.w3.org/TR/xmlschema-1/, May.
30. P. V. Biron & A. Malhotra (2001) XML Schema Part 2: Datatypes W3C Recommendation. Technical Report, W3C Consortium, http://www.w3.org/TR/xmlschema-2/, May.
31. T. Berners-lee, J. Hendler & O. Lassila (2001) The semantic web: A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientfic American 501, 137-187.
32. R. Dechter, I. Meiri & J. Pearl (1991) Temporal constraints networks. Artificial Intelligence 49, 61-95.
33. E. Tsang (1993) Foundations of Constraint Satisfaction. Academic Press, London, U.K.
34. M. Grigni, D. Papadias & C. Papadimitriou (1995) Topological inference. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI-95 (C. Mellis, ed.) Montréal, PQ, Canada, August. Morgan Kaufmann, Los Altos, CA, pp. 901-906.
35. B. Nebel (1995) Computational properties of qualitative spatial reasoning: first results. In: Advances in Artificial Intelligence, KI-95, (I. Wachsmuth, C.-R. Rollinger & W. Brauer, eds), Bielefeld, Germany. Springer-Verlag, New York, NY, U.S.A., pp. 233-244.
36. J. Renz & B. Nebel (1997) On the complexity of qualitative spatial reasoning: a maximal tractable subclass of the regional connection calculus. In: Proceedings of the 16th International Conference on Artificial Intelligence, IJCAI 97, Nagoya, Aichi, Japan, August, 1997 (M. Pollack, ed.). Morgan Kaufmann, Los Altos, CA.
37. J. Renz (1999) Maximal tractable fragments of the region connection calculus: a complete analysis. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI'99 (T. Dean, ed.), Stockholm, Sweden, July. Morgan Kaufmann, Los Altos, CA.
38. A. Gerevini & J. Renz (1998) Combining topological and qualitative size constraints for spatial reasoning. In: Principles and Practice of Constraint Programming-CP98, 4th International Conference, Pisa, Italy, October, 1998, Proceedings (M. J. Maher & J.-F. Puget, eds). Lecture Notes in Computer Science 1520, Springer, pp. 220-234.
39. F. W. Lehmann (ed.) (1992) Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford.