{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T22:40:02Z","timestamp":1749854402543,"version":"3.41.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T00:00:00Z","timestamp":1482710400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Geoinformatica"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10707-016-0285-7","type":"journal-article","created":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T05:42:54Z","timestamp":1482730974000},"page":"209-229","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Vague distance predicates"],"prefix":"10.1007","volume":"21","author":[{"given":"Thomas","family":"Bittner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,26]]},"reference":[{"key":"285_CR1","volume-title":"Elementary Concepts of Topology","author":"P Alexandroff","year":"1961","unstructured":"Alexandroff P (1961) Elementary Concepts of Topology. Dover Publications, New York, NY"},{"key":"285_CR2","unstructured":"Bennett B (1998) Modal Semantics for Knowledge Bases dealing with Vague Concepts. In: Cohn AG, Schubert L, Shapiro S (eds) Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98) pp 234\u2013244. Morgan Kaufman"},{"key":"285_CR3","unstructured":"Bennett B (2001) A Categorical Axiomatisation of Region-Based Geometry. Fuindamenta Informaticae 46:145\u2013158"},{"key":"285_CR4","unstructured":"Bennett B, Cohn AG, Torrini P, Hazarika SM (2000) A Foundation for Region-Based Qualitative Geometry. In: Horn W (ed) Proceedings of ECAI 2000, pp 204-208. Berlin, Germany"},{"issue":"2","key":"285_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/AO-2009-0065","volume":"4","author":"T Bittner","year":"2009","unstructured":"Bittner T (2009) Logical properties of foundational mereogeometrical relations in bio-ontologies. Appl Ontol 4(2):109\u2013138","journal-title":"Appl Ontol"},{"key":"285_CR6","unstructured":"Bittner T (2015) Vague mereogeometry"},{"issue":"13","key":"285_CR7","doi-asserted-by":"crossref","first-page":"1674","DOI":"10.1093\/bioinformatics\/btm155","volume":"23","author":"T Bittner","year":"2007","unstructured":"Bittner T, Goldberg LJ (2007) The qualitative and time-dependent character of spatial relations in biomedical ontologies. Bioinformatics 23(13):1674\u20131682","journal-title":"Bioinformatics"},{"issue":"4","key":"285_CR8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3233\/AO-2011-0098","volume":"6","author":"T Bittner","year":"2011","unstructured":"Bittner T (2011) Vague size predicates. Appl Ontol 6(4):317\u2013343","journal-title":"Appl Ontol"},{"key":"285_CR9","unstructured":"Borgo S, Guarino N, Masolo C (1996) A Pointless Theory of Space Based on Strong Connection and Congruence. In: Aiello LC, Doyle J, Shapiro S (eds) Principles of Knowledge Representation and Reasoning (KR96). Morgan Kaufmann, pp 220\u2013229"},{"issue":"4","key":"285_CR10","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1017\/S1755020310000110","volume":"3","author":"S Borgo","year":"2010","unstructured":"Borgo S, Claudio M (2010) Full Mereogeometries. Review of Symbolic Logic 3(4):521\u2013567","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"285_CR11","first-page":"69","volume":"25","author":"BG Buchanan","year":"2004","unstructured":"Buchanan BG, Livingston G (2004) Toward Automated Discovery in the Biological Sciences. AI Mag 25(1):69\u201384","journal-title":"AI Mag"},{"key":"285_CR12","doi-asserted-by":"crossref","unstructured":"Burk F (1997) Lebesgue measure and integration: an introduction. Wiley-IEEE","DOI":"10.1002\/9781118032732"},{"key":"285_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places","author":"R Casati","year":"1999","unstructured":"Casati R, Varzi AC (1999) Parts and Places. MIT Press, Cambridge MA"},{"key":"285_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R Casati","year":"1994","unstructured":"Casati R, Varzi AC (1994) Holes and Other Superficialities. MIT Press, Cambridge Mass"},{"issue":"3","key":"285_CR15","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"BL Clark","year":"1981","unstructured":"Clark BL (1981) A Calculus of Individuals Based on Connection. Notre Dame Journal of Formal Logic 22(3):204\u2013218","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"285_CR16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(97)00046-5","volume":"95","author":"E Clementini","year":"1997","unstructured":"Clementini E, Di Felice P, Hern\u00e1ndez D (1997) Qualitative Representation of Positional Information. Artif Intell 95(2):317\u2013356","journal-title":"Artif Intell"},{"issue":"3","key":"285_CR17","first-page":"1","volume":"1","author":"AG Cohn","year":"1997","unstructured":"Cohn AG, Bennett B, Goodday J, Gotts N (1997) Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. geoinformatica 1 (3):1\u201344","journal-title":"geoinformatica"},{"key":"285_CR18","unstructured":"Dague P (1993) Numeric reasoning with relative orders of magnitude. In: Proceedings of the National Conference on Artificial Intelligence, pp 541\u2013547. AAAI press"},{"key":"285_CR19","unstructured":"Dague P (1993) Symbolic reasoning with relative orders of magnitude. In: Proceedings 13th Intl. Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp 1509\u20131515"},{"key":"285_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02855469","volume":"10","author":"E Davis","year":"1999","unstructured":"Davis E (1999) Order of Magnitude Comparisons of Distance. Journal of AI Research 10:1\u201338","journal-title":"Journal of AI Research"},{"issue":"17","key":"285_CR21","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T De Laguna","year":"1922","unstructured":"De Laguna T (1922) Point, Line, and Surface, as Sets of Solids. J Philos 19 (17):449\u2013461","journal-title":"J Philos"},{"key":"285_CR22","doi-asserted-by":"crossref","unstructured":"Egenhofer MJ, Mark DM (1995) Naive Geography. In: Frank AU, Kuhn W (eds) Spatial Information Theory, A Theoretical Basis for GIS, Lecture Notes in Computer Science. Springer-Verlag","DOI":"10.1007\/3-540-60392-1_1"},{"key":"285_CR23","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00485047","volume":"30","author":"K Fine","year":"1975","unstructured":"Fine K (1975) Vagueness, Truth and Logic. Synthese 30:265\u2013300","journal-title":"Synthese"},{"key":"285_CR24","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/1045-926X(92)90007-9","volume":"3","author":"F Andrew","year":"1992","unstructured":"Andrew F (1992) Qualitative Spatial Reasoning about Distances and Directions in Geographic Space. J Vis Lang Comput 3:343\u2013371","journal-title":"J Vis Lang Comput"},{"key":"285_CR25","doi-asserted-by":"crossref","unstructured":"Gabbay DM, Hogger CJ, Robinson JA, Siekmann JH, editors (1995) Handbook of Logic in Artificial Intelligence and Logic Programming, vol 4. Oxford University Press","DOI":"10.1093\/oso\/9780198537915.001.0001"},{"key":"285_CR26","doi-asserted-by":"crossref","unstructured":"Gerla G (1994) Pointless Geometries. In: Buekenhout F (ed) Handbook of Incidence Geometry, pp 1015\u20131031. Elsevier Science","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"285_CR27","doi-asserted-by":"crossref","unstructured":"Goodman JE, Pollack R (1993) Allowable Sequences and Order Types in Discrete and Computational Geometry. In: Pach J (ed) New Trends in Discrete and Computational Geometry, volume 10 of Algorithms and Combinatorics, pp 103\u2013134. Springer-Verlag","DOI":"10.1007\/978-3-642-58043-7_6"},{"key":"285_CR28","doi-asserted-by":"crossref","unstructured":"Hernandez D, Clementini E, Di Felice P (1995) Qualitative Distances. In: Frank AU, Kuhn W (eds) Spatial Information Theory, A Theoretical Basis for GIS, LNCS, Semmering, Austria . Springer-Verlag","DOI":"10.1007\/3-540-60392-1_4"},{"key":"285_CR29","unstructured":"Herskowitz A (1986) Language and Spatial Cognition - An Interdisciplinary Study of the Propositions in English. Studies in natural language processing Cambridge University Press"},{"key":"285_CR30","unstructured":"Hughes GE, Cresswell MJ (2004) A new Introduction to Modal Logic. Routledge, London and New York"},{"key":"285_CR31","doi-asserted-by":"crossref","unstructured":"Keefe R, Smith P, editors (1996) Vagueness: A Reader MIT Press","DOI":"10.7551\/mitpress\/7064.001.0001"},{"key":"285_CR32","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"HS Leonard","year":"1940","unstructured":"Leonard HS, Goodman N (1940) The Calculus of Induviduals and its Uses. J Symb Log 5:45\u201355","journal-title":"J Symb Log"},{"key":"285_CR33","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/0098-1354(88)87014-5","volume":"12","author":"M Mavrovouniotis","year":"1988","unstructured":"Mavrovouniotis M, Stephanopoulos G (1988) Formal order-of-magnitude reasoning in process engineering. Comput Chem Eng 12:867\u2013881","journal-title":"Comput Chem Eng"},{"key":"285_CR34","unstructured":"Pavelka J (1979) On fuzzy logic i - iii Mathematical Logic Quarterly"},{"key":"285_CR35","doi-asserted-by":"crossref","unstructured":"Pinkal M (1995) Logic and Lexicon. The semantics of the indefinite. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-94-015-8445-6"},{"key":"285_CR36","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0004-3702(91)90107-U","volume":"51","author":"O Raiman","year":"1991","unstructured":"Raiman O (1991) Order of magnitude reasoning. Artif Intell 51:11\u201338","journal-title":"Artif Intell"},{"key":"285_CR37","unstructured":"Randell DA, Cui Z, Cohn AG (1992) A Spatial Logic Based on Regions and Connection. In: Nebel B, Rich C, Swartout W (eds) Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference (KR92), pp 165\u2013176. Morgan Kaufmann"},{"key":"285_CR38","doi-asserted-by":"crossref","unstructured":"Schlieder C (1995) Reasoning About Ordering. In: Frank AU, Kuhn W (eds) Spatial Information Theory - A Theoretical basis for GIS, volume 988 of LNCS, pp 341\u2013349. Springer-Verlag, Semmering, Austria","DOI":"10.1007\/3-540-60392-1_22"},{"key":"285_CR39","doi-asserted-by":"crossref","unstructured":"Schmidtke HR (2003) A Geometry for Places: Representing Extension and Extended Objects. In: Kuhn W, Worboys MF, Timpf S (eds) COSIT, volume 2825 of Lecture Notes in Computer Science, pp 221\u2013238. Springer","DOI":"10.1007\/978-3-540-39923-0_15"},{"key":"285_CR40","unstructured":"Schmidtke HR, Woo W (2007) A Size-Based Qualitative Approach to the Representation of Spatial Granularity. In: Veloso MM (ed) IJCAI, pp 563\u2013568"},{"key":"285_CR41","unstructured":"Simons P (1987) Parts, A Study in Ontology. Clarendon Press, Oxford"},{"key":"285_CR42","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/ijhc.1995.1067","volume":"43","author":"B Smith","year":"1995","unstructured":"Smith B (1995) Formal Ontology, Common Sense and Cognitive Science. Int J Hum Comput Stud 43:641\u2013667","journal-title":"Int J Hum Comput Stud"},{"issue":"5","key":"285_CR43","doi-asserted-by":"crossref","first-page":"r46","DOI":"10.1186\/gb-2005-6-5-r46","volume":"6","author":"B Smith","year":"2005","unstructured":"Smith B, Ceusters W, Klagges B, K\u00f6hler J, Kumar A, Lomax J, Mungall C, Neuhaus F, Rector A, Rosse C (2005) Relations in Biomedical Ontologies. Genome Biol 6(5):r46","journal-title":"Genome Biol"},{"key":"285_CR44","doi-asserted-by":"crossref","unstructured":"Talmy L (1983) How Language Structures Space. In: Pick H, Acredolo L (eds) Spatial Orientation: Theory, Research, and Application. Plenum Press, New York, NY","DOI":"10.1007\/978-1-4615-9325-6_11"},{"key":"285_CR45","unstructured":"Tarski A (1956) Foundations of the Geometry of Solids. In: Logic, Semantic, Metamathematics. Oxford Clarendon Press"},{"issue":"2","key":"285_CR46","doi-asserted-by":"crossref","first-page":"234","DOI":"10.2307\/143141","volume":"46","author":"W Tobler","year":"1970","unstructured":"Tobler W (1970) A Computer Movie Simulating Urban Growth in the Detroit Region. Econ Geogr 46(2):234\u2013240","journal-title":"Econ Geogr"},{"key":"285_CR47","doi-asserted-by":"crossref","unstructured":"Wilke G (2014) Equality in approximate tolerance geometry. In: Angelov PP et al (eds) Proceedings of the 7th International Conference Intelligent Systems IEEE IS\u20192014, vol 322, pp 365\u2013 376. Springer","DOI":"10.1007\/978-3-319-11313-5_33"},{"key":"285_CR48","doi-asserted-by":"crossref","unstructured":"Wilke G (2015) Granular geometry. In: Seising R, Trillas E, Kacprzyk J (eds) Towards the Future of Fuzzy Logic, volume 325 of Studies in Fuzziness and Soft Computing, pp 79\u2013115. Springer","DOI":"10.1007\/978-3-319-18750-1_6"},{"key":"285_CR49","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1093\/mind\/108.429.127","volume":"108","author":"T Williamson","year":"1999","unstructured":"Williamson T (1999) On the structure of higher-order vagueness. Mind 108:127\u2013143","journal-title":"Mind"},{"key":"285_CR50","unstructured":"Wos L, Overbeek R, Lusk R, Boyle J (1992) Automated Reasoning Introduction and Applications. McGraw-Hill"}],"container-title":["GeoInformatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10707-016-0285-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10707-016-0285-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10707-016-0285-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T22:03:43Z","timestamp":1749852223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10707-016-0285-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,26]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["285"],"URL":"https:\/\/doi.org\/10.1007\/s10707-016-0285-7","relation":{},"ISSN":["1384-6175","1573-7624"],"issn-type":[{"type":"print","value":"1384-6175"},{"type":"electronic","value":"1573-7624"}],"subject":[],"published":{"date-parts":[[2016,12,26]]}}}