Abstract
Boolean Region Connection Calculus is a formalism for reasoning about the topological relations between regions. In this paper, we provide computability results about unifiability in Boolean Region Connection Calculus and prove that elementary unification is finitary.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baader, F., Borgwardt, S., Morawska, B.: Extending unification in \(\cal{EL}\) towards general TBoxes. In: Principles of Knowledge Representation and Reasoning, pp. 568–572. AAAI Press (2012)
Baader, F., Ghilardi, S.: Unification in modal and description logics. Logic J. IGPL 19, 705–730 (2011)
Balbiani, P., Tinchev, T.: Boolean logics with relations. J. Logic Algebr. Program. 79, 707–721 (2010)
Balbiani, P., Tinchev, T.: Definability and canonicity for Boolean logic with a binary relation. Fundamenta Informaticæ 129, 301–327 (2014)
Balbiani, P., Tinchev, T., Vakarelov, D.: Modal logics for region-based theories of space. Fundamenta Informaticæ 81, 29–82 (2007)
Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: Handbook of Knowledge Representation, pp. 551–596. Elsevier (2008)
Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: a proximity approach – I. Fundamenta Informaticæ 74, 209–249 (2006)
Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: proximity approach – II. Fundamenta Informaticæ 74, 251–282 (2006)
Düntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theor. Comput. Sci. 347, 498–512 (2005)
Dzik, W.: Unification Types in Logic. Wydawnicto Uniwersytetu Slaskiego (2007)
Galton, A.: Qualitative Spatial Change. Oxford University Press, Oxford (2000)
Gencer, Ç., de Jongh, D.: Unifiability in extensions of \(K4\). Logic J. IGPL 17, 159–172 (2009)
Ghilardi, S.: Best solving modal equations. Ann. Pure Appl. Logic 102, 183–198 (2000)
Kontchakov, R., Pratt-Hartmann, I., Wolter, F., Zakharyaschev, M.: Spatial logics with connectedness predicates. Logical Methods Comput. Sci. 6, 1–43 (2010)
Kontchakov, R., Pratt-Hartmann, I., Zakharyaschev, M.: Interpreting topological logics over Euclidean spaces. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 534–544. AAAI Press (2010)
Kontchakov, R., Nenov, Y., Pratt-Hartmann, I., Zakharyaschev, M.: Topological logics with connectedness over Euclidean spaces. ACM Trans. Comput. Logic 14, 1–13 (2013)
Li, S., Ying, M.: Region connection calculus: its model and composition table. Artif. Intell. 145, 121–146 (2003)
Martin, U., Nipkow, T.: Boolean unification – the story so far. J. Symbol. Comput. 7, 275–293 (1989)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufman (1992)
Renz, J.: Qualitative Spatial Reasoning with Topological Information. Lecture Notes in Artificial Intelligence, vol. 2293. Springer, Heidelberg (2002). doi:10.1007/3-540-70736-0
Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. Artif. Intell. 108, 69–123 (1999)
Rybakov, V.: Admissibility of Logical Inference Rules. Elsevier, Amsterdam (1997)
Vakarelov, D.: Region-based theory of space: algebras of regions, representation theory, and logics. In: Gabbay, D.M., Zakharyaschev, M., Goncharov, S.S. (eds.) Mathematical Problems from Applied Logic II. International Mathematical Series, vol. 5. Springer, New York (2007). doi:10.1007/978-0-387-69245-6_6
Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on \(RCC\)-\(8\). In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, pp. 3–14. Morgan Kaufmann (2000)
Acknowledgements
We make a point of thanking Joseph Boudou, Yannick Chevalier and Tinko Tinchev who contributed to the development of the work we present today.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Balbiani, P., Gencer, Ç. (2017). Finitariness of Elementary Unification in Boolean Region Connection Calculus. In: Dixon, C., Finger, M. (eds) Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science(), vol 10483. Springer, Cham. https://doi.org/10.1007/978-3-319-66167-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-66167-4_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66166-7
Online ISBN: 978-3-319-66167-4
eBook Packages: Computer ScienceComputer Science (R0)