{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:47Z","timestamp":1725663947230},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:12:13Z","timestamp":1330254733000},"page":"142-153","source":"Crossref","is-referenced-by-count":3,"title":["Combining spatial and terminological reasoning"],"prefix":"10.1007","author":[{"given":"Volker","family":"Haarslev","sequence":"first","affiliation":[]},{"given":"Ralf","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Schr\u00f6der","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"13_CR1","first-page":"443","volume-title":"Advances in Spatial Databases, Singapore, June 23\u201325 1993, volume 692 of Lecture Notes in Computer Science","author":"A. I. Abdelmoty","year":"1993","unstructured":"A. I. Abdelmoty, M. H. Williams, and N. W. Paton. Deduction and Deductive Databases for Geographic Data Handling. In Abel and Ooi [2], pages 443\u2013464."},{"volume-title":"Advances in Spatial Databases, Singapore, June 23\u201325 1993, volume 692 of Lecture Notes in Computer Science","year":"1993","key":"13_CR2","unstructured":"D. Abel and B. C. Ooi, editors. Advances in Spatial Databases, Singapore, June 23\u201325 1993, volume 692 of Lecture Notes in Computer Science. Springer-Verlag, Berlin-Heidelberg-New York, 1993."},{"key":"13_CR3","first-page":"120","volume-title":"KIT-Report 89","author":"F. Baader","year":"1991","unstructured":"F. Baader et al. Terminological Knowledge Representation: A Proposal for a Terminological Logic. In Bernhard Nebel, Christof Peltason, and Kai von Luck, editors, International Workshop on Terminological Logics, Schlo\u00df Dagstuhl, Germany, May 6\u20138, 1991, KIT-Report 89, pages 120\u2013128. TU Berlin, Fachbereich Informatik."},{"key":"13_CR4","first-page":"452","volume-title":"A Scheme for Integrating Concrete Domains into Concept Languages","author":"F. Baader","year":"1991","unstructured":"F. Baader and Ph. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In John Mylopoulos and Ray Reiter, editors, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence IJCAI-91, Sydney, Australia, August 24\u201330, 1991, pages 452\u2013457. Morgan Kaufmann Publ. Inc., San Mateo, CA, 1991. Extended version published as DFKI Research Report RR-91-10, Kaiserslautern."},{"key":"13_CR5","volume-title":"IWBS Report 156","author":"T. Bollinger","year":"1991","unstructured":"T. Bollinger and U. Pletat. The LILOG Knowledge Representation System. IWBS Report 156, IBM Wissenschaftliches Zentrum, Institut f\u00fcr Wissensbasierte Systeme, Stuttgart, 1991."},{"key":"13_CR6","volume-title":"DFKI Research Report RR-91-14","author":"P. Breuer","year":"1991","unstructured":"P. Breuer and J. M\u00fcller. A Two Level Representation for Spatial Relations, Part I. DFKI Research Report RR-91-14, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Kaiserslautern, July 1991."},{"key":"13_CR7","first-page":"277","volume-title":"Advances in Spatial Databases, Singapore, June 23\u201325 1993, volume 692 of Lecture Notes in Computer Science","author":"E. Clementini","year":"1993","unstructured":"E. Clementini, P. Di Felice, and P. van Oesterom. A Small Set of Formal Topological Relationships Suitable for End-User Interaction. In Abel and Ooi [2], pages 277\u2013295."},{"key":"13_CR8","first-page":"159","volume-title":"1993 International Geoscience and Remote Sensing Symposium (IGARSS'93)","author":"L. Dreschler-Fischer","year":"1993","unstructured":"L. Dreschler-Fischer, Ch. Drewniok, H. Lange, and C. Schr\u00f6der. A Knowledge-Based Approach to the Detection and Interpretation of Changes in Aerial Images. In Sadao Fujimura, editor, 1993 International Geoscience and Remote Sensing Symposium (IGARSS'93), Tokyo, August 1993, volume I, pages 159\u2013161. Institute of Electrical and Electronics Engineers, 1993."},{"key":"13_CR9","first-page":"143","volume-title":"Advances in Spatial Databases, Z\u00fcrich, August 28\u201330 1991, volume 525 of Lecture Notes in Computer Science","author":"M. J. Egenhofer","year":"1991","unstructured":"M. J. Egenhofer. Reasoning about Binary Topological Relations. In Oliver G\u00fcnther and H.-J. Scheck, editors, Advances in Spatial Databases, Z\u00fcrich, August 28\u201330 1991, volume 525 of Lecture Notes in Computer Science, pages 143\u2013160. Springer-Verlag, Berlin-Heidelberg-New York, 1991."},{"key":"13_CR10","series-title":"NATO ASI Series","volume-title":"Cognitive and Linguistic Aspects of Geographic Space","author":"C. Freksa","year":"1991","unstructured":"Ch. Freksa. Qualitative Spatial Reasoning. In David M. Mark and Andrew U. Frank, editors, Cognitive and Linguistic Aspects of Geographic Space, NATO ASI Series. Kluwer Academic Publ., Boston-Dortrecht-Lancaster, 1991."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"A. Guttman. R-Trees: A Dynamic Index Structure for Spatial Searching. In Proc. ACM SIGMOD International Conference on Management of Data, page 47ff, 1984.","DOI":"10.1145\/971697.602266"},{"key":"13_CR12","unstructured":"V. Haarslev. Knowledge-based Parsing and Formal Specification of Visual Languages. Bericht, Fachbereich Informatik, Universit\u00e4t Hamburg, 1994. in preparation."},{"key":"13_CR13","unstructured":"Ch. Habel. Repr\u00e4sentation r\u00e4umlichen Wissens. Mitteilung FBI-HH-M-153\/87, Fachbereich Informatik, Universit\u00e4t Hamburg, 1987."},{"key":"13_CR14","first-page":"318","volume-title":"Specifying Role Interactions in Concept Languages","author":"P. Hanschke","year":"1992","unstructured":"Ph. Hanschke. Specifying Role Interactions in Concept Languages. In Bernhard Nebel, Charles Rich, and William Swartout, editors, Principles of Knowledge Representation and Reasoning \u2014 Proc. of the Third International Conference KR'92, Cambridge, Mass., October 25\u201329, 1992, pages 318\u2013329. Morgan Kaufmann Publ. Inc., San Mateo, CA, 1992."},{"issue":"3","key":"13_CR15","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The CLP(R) Language and System. ACM Trans. on Programming Languages and Systems 14 (3), 339\u2013395, 1992.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"13_CR16","first-page":"427","volume-title":"GI-Fachgespr\u00e4ch Programmieren multimedialer Anwendungen der GI-Jahrestagung 1991","author":"K. M. Kahn","year":"1991","unstructured":"K. M. Kahn, V. A. Saraswat, and V. Haarslev. Pictorial Janus: Eine vollst\u00e4ndig visuelle Programmiersprache und ihre Umgebung. In J. Encarnacao, editor, GI-Fachgespr\u00e4ch Programmieren multimedialer Anwendungen der GI-Jahrestagung 1991, Darmstadt, Oktober 1991, pages 427\u2013436. Springer-Verlag."},{"key":"13_CR17","volume-title":"IWBS Report 92","author":"K. Klabunde","year":"1989","unstructured":"K. Klabunde. Erweiterung der Wissensrepr\u00e4sentationssprache L-LILOG um Konstrukte zu Spezifikation von Kontrollinformation. IWBS Report 92, IBM Wissenschaftliches Zentrum, Institut f\u00fcr Wissensbasierte Systeme, Stuttgart, 1989."},{"key":"13_CR18","unstructured":"S. Kosslyn. Image and Mind. Harvard University Press, 1980."},{"key":"13_CR19","first-page":"385","volume-title":"Principles of Semantic Networks \u2014 Explorations in the Representation of Knowledge","author":"R. M. MacGregor","year":"1991","unstructured":"R. M. MacGregor. The Evolving Technology of Classification-Based Knowledge Representation Systems. In John F. Sowa, editor, Principles of Semantic Networks \u2014 Explorations in the Representation of Knowledge, chapter 13, pages 385\u2013400. Morgan Kaufmann Publ. Inc., San Mateo, CA, 1991."},{"key":"13_CR20","volume-title":"DFKI Research Report RR-92-21","author":"J.-P. Mohren","year":"1992","unstructured":"J.-P. Mohren and J. M\u00fcller. Representing Spatial Relations (Part II): The Geometrical Approach. DFKI Research Report RR-92-21, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Kaiserslautern, April 1992."},{"key":"13_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-14562-2","volume-title":"R\u00e4umliche Konzepte in Wissens-und Sprachverarbeitung \u2014 Hybride Verarbeitung von Lokalisierung","author":"S. Pribbenow","year":"1993","unstructured":"S. Pribbenow. R\u00e4umliche Konzepte in Wissens-und Sprachverarbeitung \u2014 Hybride Verarbeitung von Lokalisierung. Deutscher Universit\u00e4ts Verlag, Wiesbaden, 1993."},{"key":"13_CR22","volume-title":"A Theory for Qualitative Spatial Reasoning Based on Order Relations","author":"R. R\u00f6hrig","year":"1994","unstructured":"R. R\u00f6hrig. A Theory for Qualitative Spatial Reasoning Based on Order Relations. In Proceedings of the Twelfth National Conference on Artificial Intelligence AAAI-94, Seattle, Washington, July 31\u2013August 4, 1994. AAAI-Press\/The MIT Press, Menlo Park-Cambridge-London, 1994."},{"key":"13_CR23","unstructured":"M. Schick, S. Kocksk\u00e4mper, and B. Neumann. Konstellationserkennung auf Basis einer hybriden Raumrepr\u00e4sentation. Behavior Memo 03-93, Fachbereich Informatik, Universit\u00e4t Hamburg, 1993."},{"issue":"1","key":"13_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence 48 (1), 1\u201326, 1991.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:34Z","timestamp":1605630094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}