Abstract
Algebras of relations were shown useful in managing ontology alignments. They make it possible to aggregate alignments disjunctively or conjunctively and to propagate alignments within a network of ontologies. The previously considered algebra of relations contains taxonomical relations between classes. However, compositional inference using this algebra is sound only if we assume that classes which occur in alignments have nonempty extensions. Moreover, this algebra covers relations only between classes. Here we introduce a new algebra of relations, which, first, solves the limitation of the previous one, and second, incorporates all qualitative taxonomical relations that occur between individuals and concepts, including the relations “is a” and “is not”. We prove that this algebra is coherent with respect to the simple semantics of alignments.
Chapter PDF
Similar content being viewed by others
References
Allen, J.F.: Maintaining Knowledge About Temporal Intervals. Communications of the ACM 26(11), 832–843 (1983)
Bao, J., Caragea, D., Honavar, V.G.: On the Semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72–86. Springer, Heidelberg (2006)
Borgida, A., Serani, L.: Distributed description logics: assimilating information from peer sources. Journal of Data Semantics 1, 153–184 (2003)
Düntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Articial Intelligence Review 23(4), 315–357 (2005)
Euzenat, J.: Algebras of ontology alignment relations. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 387–402. Springer, Heidelberg (2008)
Euzenat, J., Shvaiko, P.: Ontology Matching, 2nd edn. Springer, Heidelberg (2013)
Grau, B.C., Patel-Schneider, P., Motik, B.: OWL 2 Web Ontology Lan- guage Direct Semantics, 2nd edn. W3C Recommendation. W3C, December 2012. http://www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/
Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 Query Language (2013). W3C Recommendation (2013)
Hirsch, R.: Expressive Power and Complexity in Algebraic Logic. J. Log. Comput. 7(3), 309–351 (1997)
Homola, M.: Semantic Investigations in Distributed Ontologies. PhD thesis. Bratislava, Slovakia: Comenius University (2010)
Jónsson, B., Tarski, A.: Boolean algebras with operators. Part II. American Journal of Mathematics 74, 127–162 (1952)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)
Ladkin, P., Maddux, R.D.: On binary constraint problems. Journal of the ACM (JACM) 41(3), 435–469 (1994)
Lange, C., Mossakowski, T., Kutz, O., Galinski, C., Grüninger, M., Vale, D.C.: The distributed ontology language (DOL): use cases, syntax, and extensibility. In: Proc. of TKE 2012 (2012)
Ligozat, G., Renz, J.: What is a qualitative calculus? a general framework. In: Zhang, C., W. Guesgen, H., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, pp. 53–64. Springer, Heidelberg (2004)
Mackworth, A.K., Freuder, E.C.: The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artif. Intell. 25(1), 65–74 (1985)
Maddux, R.D.: Some Varieties Containing Relation Algebras. Trans. Amer. Math. Soc. 272, 501–526 (1982)
Tarski, A.: On the Calculus of Relations. J. Symb. Log. 6(3), 73–89 (1941)
Zimmermann, A.: Integrated distributed description logics. In: Proc. of DL 2007, pp. 507–514 (2007)
Zimmermann, A.: Logical formalisms for agreement technologies. In: Ossowski, S. (ed.) Agreement Technologies. Law, Governance and Technology Series, vol. 8, pp. 69–82. Springer, Netherlands (2013)
Zimmermann, A., Euzenat, J.: Three semantics for distributed systems and their relations with alignment composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16–29. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Inants, A., Euzenat, J. (2015). An Algebra of Qualitative Taxonomical Relations for Ontology Alignments. In: Arenas, M., et al. The Semantic Web - ISWC 2015. ISWC 2015. Lecture Notes in Computer Science(), vol 9366. Springer, Cham. https://doi.org/10.1007/978-3-319-25007-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-25007-6_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25006-9
Online ISBN: 978-3-319-25007-6
eBook Packages: Computer ScienceComputer Science (R0)