{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:35:31Z","timestamp":1725456931447},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616566"},{"type":"electronic","value":"9783540706519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0034725","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T20:05:30Z","timestamp":1134331530000},"page":"718-727","source":"Crossref","is-referenced-by-count":3,"title":["An ontology for linear spatial reasoning"],"prefix":"10.1007","author":[{"given":"F.","family":"Coenen","sequence":"first","affiliation":[]},{"given":"B.","family":"Beattie","sequence":"additional","affiliation":[]},{"given":"T. J. M.","family":"Bench-Capon","sequence":"additional","affiliation":[]},{"given":"M. J. R.","family":"Shave","sequence":"additional","affiliation":[]},{"given":"B. M.","family":"Diaz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"61_CR1","unstructured":"B. Beattie, F.P. Coenen, A. Hough, T.J.M. Bench-Capon, B. Diaz and M.J.R. Shave. 'spatial Reasoning for Environmental Impact Assessment', to be presented at Third International Conference\/Workshop on Integrating GIS and Environmental Modelling, Santa F\u00e9, 1996."},{"key":"61_CR2","doi-asserted-by":"crossref","unstructured":"B. Beattie, F.P. Coenen, T.J.M. Bench-Capon, B. Diaz and M.J.R. Shave, 'spatial Reasoning for GIS using a Tesseral Data Representation', in N. Revell and A.M. Tjoa (eds.), Database and Expert Systems Applications, (Proceedings DEXA'95), Lecture Notes in Computer Science 978, Springer Verlag, 207\u2013216, 1995.","DOI":"10.1007\/BFb0049119"},{"key":"61_CR3","first-page":"57","volume-title":"Spatial Reasoning for Timetabling: The TIMETABLER system","author":"F.P. Coenen","year":"1995","unstructured":"F.P. Coenen, B. Beattie, T. J.M. Bench-Capon, Shave, M. J. R. and B. Diaz, \u2018Spatial Reasoning for Timetabling: The TIMETABLER system', Proceedings of the 1st International Conference on the Practice and Theory of Automated Timetabling (ICPTAT'95), Napier University, Edinburgh, 57\u201368, 1995."},{"key":"61_CR4","unstructured":"F.P. Coenen, B. Beattie, B. Diaz, T.J.M. Bench-Capon and M.J.R. Shave, \u2018A Temporal Calculus for GIS Using Tesseral Addressing', in M.A. Bramer and A.L. Macintosh (eds), Research and Development in Expert Systems XI, Proceedings of ES'94, 261\u2013273, 1994"},{"key":"61_CR5","first-page":"67","volume":"9-3","author":"F.P. Coenen","year":"1992","unstructured":"F.P. Coenen and T.J.M. Bench-Capon, \u2018Maintenance and Maintainability in Regulation Based KBS', ICL Technical Journal, 9-3, May, 67\u201384, 1992.","journal-title":"ICL Technical Journal"},{"key":"61_CR6","first-page":"113","volume":"3-2","author":"A.G. Cohn","year":"1987","unstructured":"A.G. Cohn, \u2018A More Expressive Formulation of Many Sorted Logic', Jo of Automation and Reasoning, 3-2, 113\u2013200, 1987.","journal-title":"Jo of Automation and Reasoning"},{"key":"61_CR7","volume-title":"Spatial Data Processing Using Tesseral Methods","author":"B. Diaz","year":"1986","unstructured":"B. Diaz and S.B.M. Bell, Spatial Data Processing Using Tesseral Methods, Natural Environment Research Council publication, Swindon, England, 1986"},{"key":"61_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"M.J. Egenhofer","year":"1994","unstructured":"M.J. Egenhofer, \u2018Deriving the Composition of Binary Topological Relations', Journal of Visual Languages and Computing, 5, 133\u2013149, 1994.","journal-title":"Journal of Visual Languages and Computing"},{"key":"61_CR9","volume-title":"Technical Report KSL 91-66","author":"T.R. Gruber","year":"1992","unstructured":"T.R. Gruber, \u2018Ontolingua: A Mechanism to Support Portable Ontologies', Technical Report KSL 91-66, Stanford University, Knowledge Systems Laboratory, Stanford, USA, 1992."},{"key":"61_CR10","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"P. van Hentenryck, \u2018Constraint Satisfaction in Logic Programming', MIT Press, Cambridge, Massachusetts, 1989."},{"key":"61_CR11","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-94-011-2606-9_21","volume-title":"Cognitive and Linguistic Aspects of Geographic Space","author":"D. Hern\u00e1ndez","year":"1991","unstructured":"D. Hern\u00e1ndez, \u2018Relative Representation of Spatial Knowledge: The 2-D Case\u2019 in D.M. Mark and A.U. Frank, A.U. (eds), Cognitive and Linguistic Aspects of Geographic Space, Kluwer, Dordrecht, Netherlands, 373\u2013385, 1991."},{"key":"61_CR12","first-page":"99","volume":"8-1","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth, \u2018Consistency in Networks of Relations', AI Journal, 8-1, 99\u2013118, 1977.","journal-title":"AI Journal"},{"key":"61_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder. \u2018The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems\u2019 Artificial Intelligence, 25, 65\u201374, 1985","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T13:40:20Z","timestamp":1547732420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616566","9783540706519"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0034725","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}