{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:50:29Z","timestamp":1764557429891,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624273"},{"type":"electronic","value":"9783319624280"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62428-0_3","type":"book-chapter","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T22:48:34Z","timestamp":1501541314000},"page":"29-41","source":"Crossref","is-referenced-by-count":1,"title":["Large Scale Reasoning Using Allen\u2019s Interval Algebra"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Mantle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sotirios","family":"Batsakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"3_CR1","unstructured":"Spark. \nhttps:\/\/spark.apache.org\/\n\n. Accessed 30 June 2015"},{"key":"3_CR2","unstructured":"Spatialhadoop. \nhttp:\/\/spatialhadoop.cs.umn.edu\/index.html\/\n\n. Accessed 06 July 2016"},{"issue":"11","key":"3_CR3","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Temporal reasoning and planning. In: Reasoning About Plans, pp. 1\u201367. Morgan Kaufmann Publishers Inc. (1991)","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Anagnostopoulos, E., Petrakis, E.G.M., Batsakis, S.: CHRONOS: improving the performance of qualitative temporal reasoning in OWL. In: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, 10\u201312 November 2014, pp. 309\u2013315 (2014)","DOI":"10.1109\/ICTAI.2014.54"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"AG Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Qualitative spatial representation and reasoning with the region connection calculus. GeoInformatica 1(3), 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Eldawy, A., Mokbel, M.F.: Spatialhadoop: a mapreduce framework for spatial data. In: 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, 13\u201317 April 2015, pp. 1352\u20131363 (2015)","DOI":"10.1109\/ICDE.2015.7113382"},{"key":"3_CR8","unstructured":"Focke, R.W., Wabeke, L.O., de Villiers, J.P., Inggs, M.R.: Implementing interval algebra to schedule mechanically scanned multistatic radars. In: Proceedings of the 14th International Conference on Information Fusion, FUSION 2011, Chicago, Illinois, USA, 5\u20138 July 2011, pp. 1\u20137 (2011)"},{"issue":"3","key":"3_CR9","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/64.590068","volume":"12","author":"Y Iwasaki","year":"1997","unstructured":"Iwasaki, Y.: Real-world applications of qualitative reasoning. IEEE Expert 12(3), 16\u201321 (1997)","journal-title":"IEEE Expert"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Mudrov\u00e1, L., Hawes, N.: Task scheduling for mobile robots using interval algebra. In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26\u201330 May 2015, pp. 383\u2013388 (2015)","DOI":"10.1109\/ICRA.2015.7139027"},{"key":"3_CR11","unstructured":"Nebel, B., B\u00fcrckert, H.-J.: Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra. In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, 31 July\u20134 August 1994, Volume 1, pp. 356\u2013361 (1994)"},{"key":"3_CR12","unstructured":"Stocker, M., Sirin, E.: Pelletspatial: a hybrid RCC-8 and RDF\/OWL reasoning and query engine. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, 23\u201324 October 2009 (2009)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-04930-9_40","volume-title":"The Semantic Web - ISWC 2009","author":"J Urbani","year":"2009","unstructured":"Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable distributed reasoning using MapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 634\u2013649. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-04930-9_40"},{"key":"3_CR14","unstructured":"Vilain, M.B., Kautz, H.A.: Constraint propagation algorithms for temporal reasoning. In: Proceedings of the 5th National Conference on Artificial Intelligence, Philadelphia, PA, 11\u201315 August 1986, Volume 1: Science, pp. 377\u2013382 (1986)"},{"key":"3_CR15","unstructured":"Westphal, M., W\u00f6lfl, S., Gantner, Z.: GQR: a fast solver for binary qualitative constraint networks. In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical report SS-09-02, Stanford, California, USA, 23\u201325 March 2009, pp. 51\u201352 (2009)"},{"key":"3_CR16","unstructured":"Zaharia, M., Chowdhury, M., Franklin, M.J., Shenker, S., Stoica, I.: Spark: cluster computing with working sets. In: 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010, Boston, MA, USA, 22 June 2010 (2010)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-211-09442-6_5","volume-title":"Mathematical Methods in Counterterrorism","author":"AK Zaidi","year":"2009","unstructured":"Zaidi, A.K., Ishaque, M., Levis, A.H.: Combining qualitative and quantitative temporal reasoning for criminal forensics. In: Memon, N., David Farley, J., Hicks, D.L., Rosenorn, T. (eds.) Mathematical Methods in Counterterrorism, pp. 69\u201390. Springer, Vienna (2009). doi:\n10.1007\/978-3-211-09442-6_5"},{"issue":"2","key":"3_CR18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.jbi.2006.12.009","volume":"40","author":"L Zhou","year":"2007","unstructured":"Zhou, L., Hripcsak, G.: Temporal reasoning with medical data - a review with emphasis on medical natural language processing. J. Biomed. Inform. 40(2), 183\u2013202 (2007)","journal-title":"J. Biomed. Inform."}],"container-title":["Lecture Notes in Computer Science","Advances in Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62428-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,8]],"date-time":"2017-08-08T14:44:38Z","timestamp":1502203478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62428-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319624273","9783319624280"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62428-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}