Abstract
Multi-context systems (MCSs) are an important framework for heterogeneous combinations of systems within the Semantic Web. In this paper, we propose generic constructions to achieve specific forms of interaction in a principled way, and systematize some useful techniques to work with ontologies within an MCS. All these mechanisms are presented in the form of general-purpose design patterns. Their study also suggests new ways in which this framework can be further extended.
This work was supported by: Danish Council for Independent Research, Natural Sciences; and Fund. Ciência e Tecnologia under contract PEst-OE/EEI/UI0434/2011.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G.: A tutorial on default logics. ACM Computing Surveys 31(3), 337–359 (1999)
Antoy, S., Hanus, M.: Functional logic design patterns. In: Hu, Z., Rodríguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 67–87. Springer, Heidelberg (2002)
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385–390. AAAI Press (2007)
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786–791. IJCAI/AAAI (2011)
Brewka, G., Niemelä, I., Truszczyński, M.: Nonmonotonic reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 6, pp. 239–284. Elsevier (2008)
de Bruijn, J., Ehrig, M., Feier, C., Martíns-Recuerda, F., Scharffe, F., Weiten, M.: Ontology mediation, merging, and aligning. In: Davies, J., Studer, R., Warren, P. (eds.) Semantic Web Technologies: Trends and Research in Ontology-based Systems, John Wiley & Sons, Ltd., Chichester (2006)
Cóbe, R., Wassermann, R.: Ontology merging and conflict resolution: Inconsistency and incoherence solving approaches. In: Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution, BNC (2012)
Cruz-Filipe, L., Gaspar, G., Nunes, I.: Information flow within relational multi-context systems. Technical Report 2014;03, Faculty of Sciences of the University of Lisbon (September 2014), http://hdl.handle.net/10455/6900
Cruz-Filipe, L., Henriques, R., Nunes, I.: Description logics, rules and multi-context systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 243–257. Springer, Heidelberg (2013)
Cruz-Filipe, L., Nunes, I., Gaspar, G.: Patterns for interfacing between logic programs and multiple ontologies. In: Filipe, J., Dietz, J. (eds.) KEOD 2013, pp. 58–69. INSTICC (2013)
Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Dynamic distributed nonmonotonic multi-context systems. In: Brewka, G., Marek, V., Truszczynski, M. (eds.) Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary. Studies in Logic, vol. 31. College Publications (2011)
Dou, D., McDermott, D., Qi, P.: Ontology translation by ontology merging and automated reasoning. In: Ontologies for Agents: Theory and Experiences, pp. 73–94. Springer (2005)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic Web. ACM Transactions on Computational Logic 12(2) (2011) Article Nr 11
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, pp. 90–96. Professional Book Center (2005)
Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 120–133. Springer, Heidelberg (2011)
Fowler, M.: Patterns of Enterprise Application Architecture. Addison–Wesley (2002)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison–Wesley (1995)
Gangemi, A., Presutti, V.: Ontology design patterns. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn. International Handbooks on Information Systems, pp. 221–243. Springer (2009)
Homola, M., Knorr, M., Leite, J., Slota, M.: MKNF knowledge bases in multi-context systems. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol. 7486, pp. 146–162. Springer, Heidelberg (2012)
Kim, J., Jang, M., Ha, Y.-g., Sohn, J.-C., Lee, S.J.: MoA: OWL ontology merging and alignment tool for the semantic web. In: Ali, M., Esposito, F. (eds.) IEA/AIE 2005. LNCS (LNAI), vol. 3533, pp. 722–731. Springer, Heidelberg (2005)
Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA – A mApping fRAmework for distributed ontologies. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 235–250. Springer, Heidelberg (2002)
Meyer, T.A., Lee, K., Booth, R.: Knowledge integration for description logics. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI 2005, pp. 645–650. AAAI Press / The MIT Press (2005)
Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM 57 (June 2010) Article Nr 30
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Scharffe, F., Zamazal, O., Fensel, D.: Ontology alignment design patterns. Knowledge and Information Systems, 1–28 (April 2013)
Sterling, L.: Patterns for Prolog programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 374–401. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cruz-Filipe, L., Gaspar, G., Nunes, I. (2014). Information Flow within Relational Multi-context Systems. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds) Knowledge Engineering and Knowledge Management. EKAW 2014. Lecture Notes in Computer Science(), vol 8876. Springer, Cham. https://doi.org/10.1007/978-3-319-13704-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-13704-9_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13703-2
Online ISBN: 978-3-319-13704-9
eBook Packages: Computer ScienceComputer Science (R0)