{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:36Z","timestamp":1725664116544},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568698"},{"type":"electronic","value":"9783540477655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56869-7_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:46:06Z","timestamp":1330256766000},"page":"296-315","source":"Crossref","is-referenced-by-count":64,"title":["Qualitative and topological relationships in spatial databases"],"prefix":"10.1007","author":[{"given":"Z.","family":"Cui","sequence":"first","affiliation":[]},{"given":"A. G.","family":"Cohn","sequence":"additional","affiliation":[]},{"given":"D. A.","family":"Randell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci, et al: \u201cEfficient Implementation of Lattice Operations,\u201d ACM Trans. on Programming Languages and Systems, 11(1), 1989","DOI":"10.1145\/59287.59293"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"J. F. Allen: \u201cMaintaining Knowledge about Temporal Intervals,\u201d Comm. ACM26(11), 1983.","DOI":"10.1145\/182.358434"},{"key":"17_CR3","unstructured":"M. Aurnague: \u201cContribution a l'etude de la semantique formelle de l'espace et du raisonnement spatial: la localisation interne en francais, semantique et structures inferentielles\u201d, PhD thesis, l'Universite Paul Sabatier de Toulouse, 1991."},{"key":"17_CR4","volume-title":"Synthese Library vol 156","author":"Benthem","year":"1982","unstructured":"Van Benthem: The Logic of Time, Synthese Library vol 156, Reidel, London, 1982"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"B. L. Clarke: \u201cA Calculus of Individuals Based on Connection,\u201d Notre Dame Journal of Formal LOGIC., vol. 2, No. 3, 1981.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"B. L. Clarke: \u201cIndividuals and Points\u201d, Notre Dame Journal of Formal Logic Vol. 26, No. 1, 1985.","DOI":"10.1305\/ndjfl\/1093870761"},{"issue":"2","key":"17_CR7","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"A. G. Cohn: \u201cA More Expressive Formulation of Many Sorted Logic,\u201d J. Autom. Reasoning., Vol. 3(2), pp. 113\u2013200, 1987","journal-title":"J. Autom. Reasoning."},{"key":"17_CR8","unstructured":"A. G. Cohn, D. A. Randell and Z. Cui: \u201cA Taxonomy of Logically Defined Qualitative Spatial Relations,\u201d Proc International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, Ladseb-CNR Internal Report 01\/93, ed N Guarino and R Poli, pp 149\u2013158, 1993"},{"key":"17_CR9","unstructured":"Z. Cui, A. G. Cohn and D. A. Randell: \u201c Qualitative Simulation Based On A Logical Formalism Of Space And Time\u201d, Proc AAAI, 1992a."},{"key":"17_CR10","unstructured":"Z. Cui, A. G. Cohn and D. A. Randell: \u201cQualitative Simulation Based On A Logic Of Space And Time\u201d, Proc. of QR92, 1992b."},{"key":"17_CR11","first-page":"457","volume-title":"Lecture Notes in Computer Science, Vol. 367","author":"M. Egenhofer","year":"1989","unstructured":"M. Egenhofer: \u201cA Formal Definition of Binary Topological Relationships,\u201d In: W. Litwin and H. J. Schek, editors, Third International Conference on Foundations of Data Organization and Algorithms, Paris, France, Lecture Notes in Computer Science, Vol. 367, pages 457\u2013472, Springer-Verlag, New York, NY, June 1989"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"M. Egenhofer:\u201cReasoning about Binary Topological Relations,\u201d In: Proceedings of the Second Symposium on Large Spatial Databases, SSD'91 (Zurich, Switzerland, 1991), O. Gunther and H. J. Schek, Eds. Lecture Notes in Computer Science 525, pp 143\u2013160.","DOI":"10.1007\/3-540-54414-3_36"},{"key":"17_CR13","unstructured":"M. Egenhofer and J. A. Herring: \u201cA Mathematical Framework for the Definition of Topological Relationships,\u201d In: Proceedings of Fourth International Symposium on Spatial Data Handling (Zurich, Switzerland, 1990), K. Brassel and H. Kishimoto, Eds."},{"key":"17_CR14","unstructured":"M. Egenhofer and A. Frank: \u201cTowards a Spatial Query Language: user interface considerations,\u201d In: Proceedings of 14th International Conference on Very Large Data Bases (Los Angeles, CA, 1988) D. DeWitt and F. Bancilhon, Eds."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"M. Egenhofer and K K Al-Taha: \u201cReasoning about Gradual Changes of Topological Relationships\u201d, in Theoreies and Methods of Spatio Temporal Reasoning in Geographic Space, LNCS 639 Springer Verlag, 1992","DOI":"10.1007\/3-540-55966-3_12"},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0004-3702(91)90116-2","volume":"51","author":"K. D. Forbus","year":"1991","unstructured":"K. D. Forbus, P. Nielsen and B. Faltings: \u201cQualitative spatial reasoning: the CLOCK project,\u201d Art. Int. 51, pp. 417\u2013471, Elsevier, 1991","journal-title":"Art. Int."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"C. Freksa: \u201cUsing Orientation Information for Qualitative Spatial Reasoning\u201d, Berick Nr 11, Kognitionswissenschaft, Univ. Hamburg, 1992a.","DOI":"10.1007\/3-540-55966-3_10"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"C. Freksa: \u201cTemporal Reasoning based on Semi-intervals,\u201d Artificial Intelligence, 54, Elsevier, 1992b","DOI":"10.1016\/0004-3702(92)90090-K"},{"key":"17_CR19","unstructured":"A. M. Frisch and A. G. Cohn: \u201cThought and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning,\u201d AI Magazine 1990"},{"key":"17_CR20","unstructured":"A Galton, Towards an integrated logic of space, time, and motion, to appear in Proc IJCAI93, Morgan Kaufmann, 1993."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"D. Guenther and A. Buchmann: \u201cResearch Issues in Spatial Databases,\u201d SIGMOD RECORD 19 (4), 1990","DOI":"10.1145\/122058.122065"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"R. G\u00fcting: \u201cGeo-Relational Algebra: A Model and Query Language for Geometric Database Systems,\u201d Advances in Database Technology, 1988.","DOI":"10.1007\/3-540-19074-0_70"},{"key":"17_CR23","unstructured":"D. Hernandez: \u201cUsing Comparative Relations to represent Spatial Knowledge\u201d, Workshop RAUM, Univ. of Koblenz, 1990."},{"key":"17_CR24","volume-title":"PhD Dissertation","author":"D. Hernandez","year":"1992","unstructured":"D. Hernandez: \u201cQualitative Representation of Spatial Knowledge\u201d, PhD Dissertation, Fakultaet fuer Informatik, Technischen Universitaet Muenchen, Germann, 1992."},{"key":"17_CR25","volume-title":"Commonsense Reasoning about Moving Objects: an Elusive Goal","author":"L. Joskowicz","year":"1992","unstructured":"L. Joskowicz: \u201cCommonsense Reasoning about Moving Objects: an Elusive Goal\u201d, IBM T J Watson Research Center, Yorktown Heights, 1992."},{"key":"17_CR26","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"B. Kuipers: \u201cQualitative Simulation,\u201d Artificial Intelligence 29: 298\u2013338, 1986","journal-title":"Artificial Intelligence"},{"key":"17_CR27","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. Laguna de","year":"1922","unstructured":"T. de Laguna: \u201cPoint, Line and Surface as sets of Solids\u201d The Journal of Philosophy., Vol 19., pp. 449\u2013461, 1922.","journal-title":"The Journal of Philosophy"},{"key":"17_CR28","unstructured":"A. Mukerjee and G. Joe: \u201cA Qualitative Model for Space\u201d, Proc AAAI, 1990."},{"key":"17_CR29","unstructured":"D. Pullar and M. Egenhofer: \u201cTowards Formal Definitions of Topological Relations among Spatial Objects,\u201d In: proceedings of Third International Symposium on Spatial Data Handling (Sydney, Australia, 1988), D. Marble, Ed."},{"key":"17_CR30","unstructured":"D. Randell, A. G. Cohn and Z. Cui: \u201cNaive Topology: modeling the force pump,\u201d in Recent Advances in Qualitative Reasoning, ed B Faltings and P Struss, MIT Press, in press, 1992a."},{"key":"17_CR31","volume-title":"PhD Thesis","author":"D. A. Randell","year":"1991","unstructured":"D. A. Randell: \u201cAnalysing the Familiar: Reasoning about space and time in the everyday world,\u201d PhD Thesis, Univ. of Warwick, UK 1991."},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"D. A. Randell, A. G. Cohn and Z. Cui: \u201cComputing Transitivity Tables: a Challenge for Automated Theorem Provers,\u201d Proc CADE11, 1992b.","DOI":"10.1007\/3-540-55602-8_225"},{"key":"17_CR33","volume-title":"Principles of Knowledge Representation and Reasoning","author":"D. Randell","year":"1989","unstructured":"D. Randell and A. G. Cohn: \u201cModelling Topological and Metrical Properties in Physical Processes,\u201d in Principles of Knowledge Representation and Reasoning, ed. R. J. Brachman, H. Levesque and R. Reiter, Morgan Kaufmann, Los Altos. 1989."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"D. A. Randell and A. G. Cohn: \u201cExploiting Lattice in a Theory of Space and Time,\u201d Computers and Mathematics with Applications, 1992.","DOI":"10.1016\/0898-1221(92)90118-2"},{"key":"17_CR35","unstructured":"D. A. Randell, Z. Cui and A. G. Cohn: \u201cA Spatial Logic based on Regions and Connection\u201d, Proc 3rd Int Conf on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1992a."},{"key":"17_CR36","unstructured":"D. Randell, Z. Cui and A. G. Cohn: \u201cAn Interval Logic for Space based on \u201cConnection\u201d,\u201d in proc. of ECAI92, 1992b"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"C. J. Rawlings, W. R. Taylor, J. Nyakairu, J. Fox and M. J. E. Sternberg: \u201cReasoning about Protein Topology using the Logic Programming Language PROLOG,\u201d J. Mol. Graphics 3(4), 1985","DOI":"10.1016\/0263-7855(85)80027-8"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"N. Roussopoulos, C. Faloutsos and T. Sellis: \u201cAn Efficient Pictorial Database System for PSQL,\u201d IEEE Transactions on Software Engineering 15 (5), 1988","DOI":"10.1109\/32.6141"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"M. Stickel: \u201cAutomated Deduction by Theory Resolution,\u201d J. Automated Reasoning, 1, 1985","DOI":"10.1007\/BF00244275"},{"key":"17_CR40","unstructured":"A. Tarski: \u201cFoundations of the geometry of solids,\u201d in Logic, Semantics, Metamathematics, trans. J. H. Woodger, Oxford Uni. Press, 1956"},{"key":"17_CR41","unstructured":"L. Vieu: \u201cSemantique des relations spatials et inference spatio-temporelles: Une contribution a l'etude des structures formelles de l'espace en Language Naturel.\u201d, PhD thesis, l'Universite Paul Sabatier de Toulouse, 1991."},{"key":"17_CR42","volume-title":"Process and Reality: Corrected Edition","author":"A. N. Whitehead","year":"1978","unstructured":"A. N. Whitehead: \u201cProcess and Reality: Corrected Edition,\u201d eds. D.R. Griffin and D.W. Sherburne, The Free Press, Macmillan Pub. Co., New York, 1978"}],"container-title":["Lecture Notes in Computer Science","Advances in Spatial Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56869-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:29Z","timestamp":1605647189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56869-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568698","9783540477655"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-56869-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}