Abstract
A network of aligned ontologies is a distributed system, whose components (constituent ontologies) are interacting and interoperating, the result of this interaction being, either the extension of local assertions, which are valid within each individual ontology, to global assertions holding between remote ontology syntactic entities (concepts, individuals) through a network path, or to local assertions holding between local entities of an ontology, but induced by remote ontologies, through a cycle in the network. The mechanism for achieving this interaction is the composition of relations. In this perspective, (a) we introduce the notions of local composable relations, which relate ontology entities belonging to the same ontology, remotely induced composable relations, which relate ontology entities belonging to remote ontologies through a path of ontologies and alignments in the network, and network induced local composable relations, which relate ontology entities belonging to the same ontology, but through a path of ontologies and alignments forming a cycle starting and ending at the same ontology, to characterize the logical consequences extracted from a network of aligned ontologies, and (b) we propose a category-based methodology for detecting semantic inconsistencies in networks of aligned ontologies, which is based on contravariant representable functors and on the definition of two composition operators suitable for propagating local knowledge through the network.
Similar content being viewed by others
Notes
We use the same symbol, \(\circ\), both for the associative composition operator defining a category and for the operator defining the composition of binary relations. However, as it is standard in Category Theory, composition of morphisms is written in the reverse order (from the last to the first morphism in the path). The normal order is kept when we want to denote composition of consecutive binary relations (from the first to the last relation). Disambiguation is deduced from the context.
References
Atencia M, Schorlemmer M (2012) An interaction-based approach to semantic alignment. J Web Semant 13:131–147
Awodey S (2010) Category theory, 2nd edn. Oxford University Press, Oxford
Bail S, Parsia B, Sattler U (2011) Extracting finite sets of entailments from OWL ontologies. In: Rosati R, Rudolph S, Zakharyaschev M (eds) Proceedings of the 24th international workshop on Description Logic, Barcelona, Spain
Barr M, Wells C (2012) Category theory for computing science. Reprints in Theory and Applications of Categories, Charles Wells
Barwise J, Seligman J (1997) Information flow: the logic of distributed systems. Cambridge tracts in theoretical computer science, vol. 44. Cambridge University Press, Cambridge
Cure O (2009) Merging expressive ontologies using formal concept analysis. Lecture notes in computer science, vol 5872. Springer, Berlin, pp 49–58
Diskin Z, Maibaum T (2012) Category Theory and model-driven engineering: from formal semantics to design patterns and beyond. In: Gollas U, Soboll T (eds) Proceedings of the 7th ACCAT workshop on applied and computational category theory. Tallinn, Estonia
Euzenat J (2008) Algebras of ontology alignment relations. Lecture notes in computer science, vol 5318. Springer, Berlin, pp 387–402
Euzenat J (2011) Networks of ontologies and alignments. M2R SWXO lecture notes, Grenoble, France
Euzenat J, Shvaiko P (2007) Ontology matching. Springer, Berlin
Fiadeiro J (2004) Categories for software engineering. Springer, Berlin
Fionda V, Pirro G (2012) Semantic flow networks: semantic interoperability in networks of ontologies. Lecture notes in computer science, vol 7185, Springer, Berlin, pp 64–79
Formica A (2006) Ontology-based concept similarity in formal concept analysis. J Inform Sci 176(18):2624–2641
Goguen JA, Burstall RM (1992) Institutions: abstract model theory for specification and programming. J Assoc Comput Mach 39(1):95–146
Guarino N, Giaretta P (1995) Ontologies and knowledge bases: towards a terminological clarification. In: Mars NJI (ed) Towards very large knowledge bases: knowledge building and knowledge sharing. IOS Press, Amsterdam, pp 25–32
Hinze R, Wu N (2011) Towards a categorical foundation for generic programming. In: Järvi J, Mu S (eds) Proceedings of the 7th ACM SIGPLAN workshop on generic programming. Tokyi, Japan
Horridge M, Parsia B, Sattler U (2012) Justification masking in ontologies. In: Proceedings of the 13th international conference on principles of knowledge representation and reasoning, Rome, Italy
Kalfoglou Y, Schorlemmer M (2002) Information flow based ontology mapping. Lecture notes in computer science, vol 2519. Springer, Berlin, pp 1132–1151
Kalfoglou Y, Schorlemmer M (2010) The information flow approach to ontology-based semantic alignment. In: Poli R et al (eds) Theory and applications of ontology: computer applications. Springer Science + Business BV, pp 101–114
Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. Lecture notes in computer science. Springer, Berlin, pp 267–280
Kameas A, Seremeti L (2011) Ontology-based knowledge management in NGAIEs. In: Heinroth T, Minker W (eds) Next generation intelligent environments: ambient adaptive systems. Springer Science + Business Media, LLC, pp 85–113
Kent R (2003) The IFF foundation for conceptual knowledge organization. Cat Class Q 37(1):187–203
Kutz O, Mossakowski T, Codescu M (2008) Shapes of alignment: construction, combination, and computation. In: Workshop on ontologies: Reasoning and modularity, WORM-08, ESWC, Tenerife, Spain, June 2, 2008
Kutz O, Normann I, Mossakowski T, Walther D (2010) Chinese whispers and connected alignments. In: Proceedings of the 5th international workshop on ontology matching collocated with the 9th international semantic web conference, Shanghai, China, November 7, 2010
Lambrix P, Qi G, Meilicke C (2011) Debugging ontologies and mappings in ontology networks. Tutorial at the 10th international semantic web conference, Bonn, Germany, October 23–27, 2011
Li Q, Haase P, Qi G, Hitzler P, Stadtmüller S (2009) RaDON—repair and diagnosis in ontology networks. In: Proceedings of the 6th European semantic web conference on the semantic web: research and applications, Heraklion, Crete, Greece, May 31–June 4 2009
Marchant J, Combemale B, Baudry B (2012) A categorical model of model merging and weaving. Proceedings of the WISE2012 4th international workshop on modeling in software engineering, Zurich, Suisse 2012
Ossowski S (2013) Agreement technologies. Law, governance and technology series. Springer Science + Business Media Dordrecht
Pierce BC (1991) Basic category theory for computer scientists. Foundations of computing series. The MIT Press, Cambridge
Santos CT, Euzenat J, Tamma V, Payne T (2011) Argumentation for reconciling agent ontologies. In: Elssi A, Kone M, Orgun M (eds) Semantic agent systems. Springer, New York, pp 89–111
Schorlemmer M (2010) Ontology modularity, information flow, and interaction-situated semantics. In: Proceedings of the 2010 conference on modular ontologies, IOS Press, Amsterdam, The Netherlands
Schorlemmer M, Kalfoglou Y (2005) Using formal concept analysis and information flow for modeling and sharing common semantics. In: Dau F, Mugnier ML, Stumme G (eds) Lessons learnt and emergent issues. Springer, Berlin, pp 107–118
Schorlemmer M, Kalfoglou Y (2008) Institutional ontology-based semantic integration. Appl Ontol 3:131–150, IOS Press
Shvaiko P, Euzenat J (2013) Ontology matching: state of the art and future challenges. IEEE Trans Knowl Data Eng 25(1):158–176
Spivak D, Kent R (2012) Ologs: a categorical framework for knowledge representation. PLoS ONE 7(1):e24274. doi:10.1371/journal.pone.0024274
Tarski A (1941) On the calculus of relations. J Symb Logic 6(3):73–89
Wille R (1982) Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival I (ed) Ordered Sets. Reidel, Dordrecht-Boston, pp 445–470
Zhao Y, Wang X, Halang W (2006) Ontology mapping based on rough formal concept analysis. In: Proceedings of the advanced international conference on telecommunications, internet and web applications and services, Guadeloupe, French Caribbean, February 19–22, 2006
Zimmermann A, Euzenat J (2006) Three semantics for distributed systems and their relations with alignment composition. Lecture notes in computer science, vol 4273. Springer, Berlin, pp 16–29
Zimmermann A, Le Duc C (2008) Reasoning with a network of aligned ontologies. Web reasoning and rule systems, lecture notes in computer science, vol 5341. Springer, Berlin Heidelberg, pp 43–57
Zimmermann A, Krötzsch M, Euzenat J, Hitzler P (2006) Formalizing ontology alignment and its operations with category theory. In: Bennett B, Fellbaum C (eds) Proceedings of the 4th international conference on formal ontology in information systems (FOIS), Baltimore (ML US). IOS Press, Amsterdam, pp 277–288
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lambrini, S., Achilles, K. Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach. Axiomathes 25, 285–311 (2015). https://doi.org/10.1007/s10516-014-9242-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-014-9242-y