×

Towards a functional approach to modular ontologies using institutions. (English) Zbl 1328.68221

Summary: We propose a functional view of ontologies that emphasises their role in determining answers to queries, irrespective of the formalism in which they are written. A notion of framework is introduced that captures the situation of a global language into which both an ontology language and a query language can be translated, in an abstract way. We then generalise existing notions of robustness from the literature, and relate these to interpolation properties that support modularisation of ontologies.

MSC:

68T30 Knowledge representation
03G30 Categorical logic, topoi
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aiguier M., Barbier F.: An institution-independent proof of the Beth definability theorem. Studia Logica 85(3), 333-359 (2007) · Zbl 1134.03043 · doi:10.1007/s11225-007-9043-z
[2] Baader, F., S. Brandt, and C. Lutz, Pushing the \[{\mathcal{EL}}\] envelope, in L. P. Kaelbling and A. Saffiotti (eds.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI’05), Professional Book Center, Denver, 2005, pp. 364-369. · Zbl 1168.03020
[3] Baader, F., D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, Cambridge, 2003. · Zbl 1058.68107
[4] Borst W. N., Construction of Engineering Ontologies for Knowledge Sharing and Reuse, PhD thesis, Universiteit Twente, Enschede, September 1997. · Zbl 1134.03043
[5] Brachman R., Fikes R., Levesque H.: KRYPTON: A functional approach to knowledge representation. IEEE Computer 16(10), 67-73 (1983) · doi:10.1109/MC.1983.1654200
[6] Calvanese, D., G. De Giacomo, M. Lenzerini, and R. Rosati, Actions and programs over description logic knowledge bases: a functional approach, in G. Lakemeyer and S. McIlraith (eds.), Essays in Honor of Hector Levesque, College Publications, London, UK, 2011. · Zbl 1341.68222
[7] Calvanese, D., D. Lembo, M. Lenzerini, and R. Rosati, DL-lite: Tractable description logics for ontologies, in Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), 2005, pp. 602-607.
[8] Codescu, M., and T. Mossakowski, Heterogeneous colimits, in ICSTW ’08: Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, IEEE Computer Society, Washington, DC, USA, 2008, pp. 131-140. · Zbl 0548.68090
[9] Cote, R., D. Rothwell, J. Palotay, R. Beckett, and L. Brochu, The Systematized Nomenclature of Human and Veterinary Medicine, Technical Report, SNOMED International College of American Pathologists, Northfield, IL, 1993.
[10] Diaconescu, R., Grothendieck institutions, Applied Categorical Structures 10(4):383-402, 2002. Preliminary version appeared as IMAR Preprint 2-2000, ISSN 250-3638, February 2000.
[11] Diaconescu R.: An Institution-independent proof of Craig interpolation theorem. Studia Logica 77(1), 59-79 (2004) · Zbl 1048.03026 · doi:10.1023/B:STUD.0000034185.62660.d6
[12] Diaconescu R.: Interpolation in Grothendieck institutions. Theoretical Computer Science 311, 439-461 (2004) · Zbl 1068.68083 · doi:10.1016/j.tcs.2003.10.030
[13] Diaconescu R.: Institution-Independent Model Theory. Birkhäuser, Basel (2008) · Zbl 1144.03001
[14] Euzenat J., Shvaiko P.: Ontology Matching. Springer, Heidelberg (2007) · Zbl 1138.68488
[15] Goguen, J. A., What is a concept? in F. Dau, M.-L. Mugnier, and G. Stumme (eds.), ICCS, volume 3596 of Lecture Notes in Computer Science, Springer, New York, 2005, pp. 52-77. · Zbl 1132.68059
[16] Goguen, J., and R. Burstall, Introducing institutions, in Proceedings, Logics of Programming Workshop, Springer, New York, 1984, vol 164, pp. 221-256. · Zbl 0543.68021
[17] Goguen J. A., Burstall R. M.: Institutions: abstract model theory for specification and programming. Journal of ACM 39(1), 95-146 (1992) · Zbl 0799.68134 · doi:10.1145/147508.147524
[18] Goguen J. A., Roşu G.: Institution morphisms. Formal Aspects of Computing 13(3-5), 274-307 (2002) · Zbl 1001.68019 · doi:10.1007/s001650200013
[19] Gruber, T. R., A translation approach to portable ontology specifications, Knowledge Acquisition 5(2):199-220, June 1993.
[20] Konev, B., C. Lutz, D. Walther, and F. Wolter, Formal properties of modularisation, in C. Parent, S. Spaccapietra, and H. Stuckenschmidt (eds.), Ontology Modularisation, LNCS, Springer, New York, 2008. · Zbl 1242.68315
[21] Konev, B., D. Walther, and F. Wolter, The logical difference problem for description logic terminologies. in IJCAR ’08: Proceedings of the 4th International Joint Conference on Automated Reasoning, Springer, New York, 2008, pp. 259-274. · Zbl 1165.68502
[22] Kontchakov, R., F. Wolter, and M. Zakharyaschev, Can you tell the difference between DL-lite ontologies? in KR, 2008, pp. 285-295.
[23] Kutz, O., D. Lücke, and T. Mossakowski, Heterogeneously structured ontologies—integration, connection, and refinement, in T. Meyer, and M. A. Orgun (eds.), Knowledge Representation Ontology Workshop (KROW 2008), volume 90 of CRPIT, Sydney, Australia, ACS, Sydney, 2008, pp. 41-50.
[24] Kutz, O., and T. Mossakowski, Modules in transition—conservativity, composition, and colimits, in B. C. Grau, V. Honavar, A. Schlicht, and F. Wolter (eds.), WoMO, Volume 315 of CEUR Workshop Proceedings, http://CEUR-WS.org, 2007.
[25] Kutz, O., and T. Mossakowski, Conservativity in structured ontologies, in M. Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. M. Avouris (eds.), ECAI, Volume 178 of Frontiers in Artificial Intelligence and Applications, IOS Press, Amsterdam, 2008, pp. 89-93.
[26] Kutz, O., T. Mossakowski, and D. Lücke, Carnap, goguen, and the hyperontologies—logical pluralism and heterogeneous structuring in ontology design, Logica Univeralis 4(2):255-333, 2010. · Zbl 1255.68153
[27] Levesque H.J.: Foundations of a functional approach to knowledge representation. Artificial Intelligence 23(2), 155-212 (1984) · Zbl 0548.68090 · doi:10.1016/0004-3702(84)90009-2
[28] Lucanu, D., Y.-F. Li, and J. S. Dong., Institution morphisms for relating OWL and Z. In W. C. Chu, N. J. Juzgado, and W. E. Wong (eds.), Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), 2005, pp. 286-291.
[29] Lucanu, D., Y.-F. Li, and J. S. Dong, Semantic web languages: towards an institutional perspective, in Algebra, Meaning and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of his 65th Birthday, Lecture Notes in Computer Science, Springer, New York, 2006, vol. 4060, pp. 99-123. · Zbl 1132.68757
[30] Lutz, C., D. Walther, and F. Wolter, Conservative extensions in expressive description logics, in M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07), AAAI Press, Menlo Park, 2007, pp. 453-458.
[31] Lutz, C., and F. Wolter, Conservative extensions in the lightweight description logic \[{\mathcal{EL}} \] , in F. Pfenning (ed.), Proceedings of the 21th Conference on Automated Deduction (CADE-21), Lecture Notes in Artificial Intelligence, Springer, New York, 2007, pp. 84-99. · Zbl 1213.68592
[32] Mossakowski, T., Comorphism-based grothendieck logics, in MFCS, 2002, pp. 593-604. · Zbl 1014.68098
[33] Organisation, I. H. T. S. D., SNOMED Different Languages Page, www.ihtsdo.org/snomed-ct/snomed-ct0/different-languages/, Accessed 10/5/2012.
[34] Organisation, I. H. T. S. D., SNOMED Home Page, www.ihtsdo.org/snomed-ct, Accessed: 10/5/2012.
[35] Pokrywczynski, D., A Query-based Approach to Ontologies Using the Theory of Institutions, PhD thesis, Department of Computer Science, University of Liverpool, 2011.
[36] Schorlemmer M., Kalfoglou Y.: Institutionalising ontology-based semantic integration. Applied Ontology 3(3), 131-150 (2008)
[37] Studer, R., V. R. Benjamins, and D. Fensel, Knowledge engineering: Principles and methods, Data & Knowledge Engineering 25(1-2):161-197, 1998. · Zbl 0896.68114
[38] van Benthem J.: The many faces of interpolation. Synthese 164(3), 451-460 (2008) · Zbl 1168.03020 · doi:10.1007/s11229-008-9351-5
[39] Zimmermann, A., M. Krötzsch, J. Euzenat, and P. Hitzler, Formalizing ontology alignment and its operations with category theory, in Proceeding of the 2006 Conference on Formal Ontology in Information Systems, Amsterdam, The Netherlands, IOS Press, Amsterdam, 2006, pp. 277-288.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.