{"type":"ScholarlyArticle","title":"Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)","authors":[{"name":"Till Mossakowski","slug":"till-mossakowski","given":"Till","family":"Mossakowski","affiliation":"Otto-von-Guericke-University of Magdeburg , Germany"},{"name":"Reinhard Moratz","slug":"reinhard-moratz","given":"Reinhard","family":"Moratz","affiliation":"University of Maine , USA"}],"abstract":"A qualitative representation of space and/or time provides mechanisms\r\nwhich characterize the essential properties of objects or\r\nconfigurations. The advantages over quantitative representations can be: \r\n(1) a better match with human concepts related to natural language,\r\nand (2) better efficiency for reasoning.\r\nThe two main trends in qualitative spatial constraint\r\nreasoning  are topological reasoning about regions\r\nand reasoning about directions between points and straight lines and orientations of\r\nstraight lines or configurations derived from points. \r\nIn this work, we apply universal algebraic tools to binary qualitative calculi and their relations.","doi":"10.24963/ijcai.2017/718","url":"https://ijcai.org/proceedings/2017/718","pdf":"https://ijcai.org/proceedings/2017/0718.pdf","markdown":"https://ijcai.org/proceedings/2017/718.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/718","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":718,"pages":{"first":5040,"last":5044},"keywords":["Knowledge Representation, Reasoning, and Logic: Qualitative Reasoning","Knowledge Representation, Reasoning, and Logic: Common-Sense Reasoning","Constraints and Satisfiability: Constraint Satisfaction","Knowledge Representation, Reasoning, and Logic: Geometric, Spatial, and Temporal Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Allen, 1983] J. F. Allen. Maintaining knowledge about tem- poral intervals. Communications of the ACM, pages 832- 843, 1983.","title":"Maintaining knowledge about temporal intervals","authors":"J F Allen","year":"1983","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Dorr and Moratz, 2017] Christopher H Dorr and Reinhard Moratz. Towards applying the opra theory to shape simi- larity. CoRR, abs/0912.5533, 2017.","title":"Towards applying the opra theory to shape similarity","authors":"H Christopher, Reinhard Dorr, Moratz","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Dorr et al., 2015] Christopher H Dorr, Longin Jan Latecki, and Reinhard Moratz. Shape similarity based on the qual- itative spatial reasoning calculus eopram. In International Workshop on Spatial Information Theory, pages 130-150. Springer International Publishing, 2015.","title":"Shape similarity based on the qualitative spatial reasoning calculus eopram","authors":"Longin Christopher H Dorr, Jan Latecki, Reinhard Moratz","year":"2015","venue":"International Workshop on Spatial Information Theory","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Dylla et al., 2013] Frank Dylla, Till Mossakowski, Thomas Schneider, and Diedrich Wolter. Algebraic properties of qualitative spatio-temporal calculi. In Thora Tenbrink, John G. Stell, Antony Galton, and Zena Wood, editors, COSIT, volume 8116 of Lecture Notes in Computer Sci- ence, pages 516-536. Springer, 2013.","title":"Algebraic properties of qualitative spatio-temporal calculi","authors":"Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter","year":"2013","venue":"COSIT","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Dylla, 2008] F. Dylla. An Agent Control Perspective on Qualitative Spatial Reasoning -Towards More Intuitive Spatial Agent Development. PhD thesis, University of Bremen, 2008. Published by Akademische Verlagsge- sellschaft Aka GmbH.","title":"An Agent Control Perspective on Qualitative Spatial Reasoning -Towards More Intuitive Spatial Agent Development","authors":"F Dylla","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Hobbs, 1985] Jerry R Hobbs. Granularity. In In Proceed- ings of the Ninth International Joint Conference on Artifi- cial Intelligence, 1985.","title":"Granularity","authors":"Jerry R Hobbs","year":"1985","venue":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Isli and Cohn, 2000] A. Isli and A. G. Cohn. A new ap- proach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence, 122(1-2):137- 187, 2000.","title":"A new approach to cyclic ordering of 2D orientations using ternary relation algebras","authors":"A Isli, A G Cohn","year":"2000","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ladkin and Maddux, 1994] P. Ladkin and R. Maddux. On Binary Constraint Problems. J. ACM, 41(3):435-469, 1994.","title":"On Binary Constraint Problems","authors":"P Ladkin, R Maddux","year":"1994","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Ligozat and Renz, 2004] G. Ligozat and J. Renz. What Is a Qualitative Calculus? A General Framework. In C. Zhang, H. W. Guesgen, and W.-K. Yeap, editors, Proc. of PRICAI- 04, pages 53-64, 2004.","title":"What Is a Qualitative Calculus? A General Framework","authors":"G Ligozat, J Renz","year":"2004","venue":"Proc. of PRICAI-04","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Ligozat, 2005] G. Ligozat. Categorical Methods in Quali- tative Reasoning: The Case for Weak Representations. In A. G. Cohn and D. M. Mark, editors, Proc. of COSIT, vol- ume 3693 of Lecture Notes in Comput. Sci., pages 265- 282. Springer, 2005.","title":"Categorical Methods in Qualitative Reasoning: The Case for Weak Representations","authors":"G Ligozat","year":"2005","venue":"Proc. of COSIT","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Ligozat, 2011] Gerard Ligozat. Qualitative Spatial and Temporal Reasoning. Wiley, 2011.","title":"Qualitative Spatial and Temporal Reasoning","authors":"Gerard Ligozat","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lücke, 2012] Dominik Lücke. Qualitative Spatial Rea- soning about Relative Orientation: A Question of Consistency. PhD thesis, University of Bremen, 2012. http://elib.suub.uni-bremen.de/ edocs/00102632-1.pdf.","title":"Qualitative Spatial Reasoning about Relative Orientation: A Question of Consistency","authors":"Dominik Lücke","year":"2012","venue":null,"doi":null,"url":"http://elib.suub.uni-bremen.de/edocs/00102632-1.pdf","internal_url":null},{"position":13,"raw":"[Maddux, 2006] R. Maddux. Relation Algebras. Stud. Logic Found. Math. Elsevier Science, 2006.","title":"Relation Algebras","authors":"R Maddux","year":"2006","venue":"Stud. Logic Found","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Montanari, 1974] U. Montanari. Networks of constraints: Fundamental properties and applications to picture pro- cessing. Inf. Sci., 7:95-132, 1974. [Moratz and Wallgrün, 2014] Reinhard Moratz and Jan Oliver Wallgrün. Spatial reasoning with augmented points: Extending cardinal directions with local distances. Journal of Spatial Information Science, (5):1-30, 2014.","title":"Spatial reasoning with augmented points: Extending cardinal directions with local distances","authors":"U Montanari, Reinhard Moratz, Jan Oliver Wallgrün","year":"1974","venue":"Journal of Spatial Information Science","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Moratz et al., 2000] R. Moratz, J. Renz, and D. Wolter. Qualitative Spatial Reasoning about Line Segments. In Proc. of ECAI 2000, pages 234-238, 2000.","title":"Qualitative Spatial Reasoning about Line Segments","authors":"R Moratz, J Renz, D Wolter","year":"2000","venue":"Proc. of ECAI 2000","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Moratz et al., 2009] Reinhard Moratz, Dominik Lücke, and Till Mossakowski. Oriented straight line segment alge- bra: Qualitative spatial reasoning about oriented objects. CoRR, abs/0912.5533, 2009.","title":"Oriented straight line segment algebra: Qualitative spatial reasoning about oriented objects","authors":"Reinhard Moratz, Dominik Lücke, Till Mossakowski","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Moratz et al., 2011] Reinhard Moratz, Dominik Lücke, and Till Mossakowski. A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Ar- tif. Intell., 175(16-17):2099-2127, 2011.","title":"A condensed semantics for qualitative spatial reasoning about oriented straight line segments","authors":"Reinhard Moratz, Dominik Lücke, Till Mossakowski","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Moratz, 2006] R. Moratz. Representing Relative Direction as a Binary Relation of Oriented Points. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proc. of ECAI-06, volume 141 of Frontiers in Artificial Intelligence and Applications, pages 407-411. IOS Press, 2006.","title":"Representing Relative Direction as a Binary Relation of Oriented Points","authors":"R Moratz","year":"2006","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Mossakowski and Moratz, 2015] Till Mossakowski and Reinhard Moratz. Relations between spatial calculi about directions and orientations. J. Artif. Intell. Res. (JAIR), 54:277-308, 2015.","title":"Till Mossakowski and Reinhard Moratz. Relations between spatial calculi about directions and orientations","authors":"Moratz Mossakowski","year":"2015","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Mossakowski et al., 2006] T. Mossakowski, L. Schröder, and S. Wölfl. A categorical perspective on qualitative con- straint calculi. In Stefan Wölfl and Till Mossakowski, ed- itors, Qualitative Constraint Calculi -Application and In- tegration. Workshop at KI 2006, pages 28-39, 2006.","title":"A categorical perspective on qualitative constraint calculi","authors":"T Mossakowski, L Schröder, S Wölfl","year":"2006","venue":"Qualitative Constraint Calculi -Application and Integration. Workshop at KI 2006","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Renz and Nebel, 1999] J. Renz and B. Nebel. On the Com- plexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence, 108(1-2):69-123, 1999.","title":"On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus","authors":"J Renz, B Nebel","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[van Beek and Manchak, 1996] P. van Beek and D. W. Man- chak. The design and experimental analysis of algorithms for temporal reasoning. J. Artif. Intell. Res., 4:1-18, 1996.","title":"The design and experimental analysis of algorithms for temporal reasoning","authors":"P Van Beek, D W Manchak","year":"1996","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wallgrün et al., 2009] J. O. Wallgrün, L. Frommberger, F. Dylla, and D. Wolter. SparQ User Manual V0.7. User manual, University of Bremen, January 2009.","title":"SparQ User Manual V0.7. User manual","authors":"J O Wallgrün, L Frommberger, F Dylla, D Wolter","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}