The reuse of ontologies is critical to their value as a means of knowledge representation. Unfortunately, reuse also still poses a considerable challenge for the ontological community. One reason for this is the lack of a formal definition of reuse. How can we attempt to perform or even assist this sort of ontology design, if we have no clear understanding of what constitutes reuse, and what does not? In this work we aim to remedy this situation by providing a formal definition of the concepts of reuse and reusability: a metatheory of ontology reuse. Beyond providing a clear understanding of these concepts, part of the resulting definition is a characterization of the operations of reuse that can be leveraged to determine how a given ontology(s) may be reused to satisfy some specified requirements. This serves not only to provide direction for the task of reuse, but also to assess the implications of reusing an ontology(s). Collectively, the solutions presented in this paper provide an important foundation for ontology reuse.
Aameri, B., Grüninger, M. & Chui, C. (2016). Anti-modules. In O.Kutz, S.de Cesare, M.M.Hedblom, T.R.Besold, T.Veale, F.Gailly, G.Guizzardi, M.Lycett, C.Partridge, O.Pastor, M.Grüninger, F.Neuhaus, T.Mossakowski, S.Borgo, L.Bozzato, C.D.Vescovo, M.Homola, F.Loebe, A.Barton and J.Bourguet (Eds.), Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology Co-Located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France. CEUR Workshop Proceedings (Vol. 1660). CEUR-WS.org.
2.
Alchourrón, C.E., Gärdenfors, P. & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 510–530. doi:10.2307/2274239.
3.
Bontas, E.P., Mochol, M. & Tolksdorf, R. (2005). Case studies on ontology reuse. In K.Tochtermann (Ed.), Proceedings of the IKNOW05 International Conference on Knowledge Management (Vol. 74).
4.
Doran, P., Tamma, V. & Iannone, L. (2007). Ontology module extraction for ontology reuse: An ontology engineering perspective. In Proceedings of the Sixteenth ACM Conference on Conference on Information and Knowledge Management, CIKM ’07 (pp. 61–70). New York, NY, USA: ACM. doi:10.1145/1321440.1321451.
5.
Falbo, R.A., Guizzardi, G., Gangemi, A. & Presutti, V. (2013). Ontology patterns: Clarifying concepts and terminology. In Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns (Vol. 1188, pp. 14–26).
6.
Fernández-López, M., Suárez-Figueroa, M.C. & Gómez-Pérez, A. (2012). Ontology development by reuse. In Ontology Engineering in a Networked World (pp. 147–170). Springer. doi:10.1007/978-3-642-24794-1_7.
7.
Flouris, G., Plexousakis, D. & Antoniou, G. (2006). Evolving ontology evolution. In SOFSEM 2006: Theory and Practice of Computer Science (pp. 14–29). Springer. doi:10.1007/11611257_2.
8.
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A. & Schneider, L. (2002). Sweetening ontologies with DOLCE. In Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, EKAW ’02 (pp. 166–181). London, UK: Springer. doi:10.1007/3-540-45810-7_18.
9.
Gangemi, A., Pisanelli, D. & Steve, G. (1998). Ontology integration: Experiences with medical terminologies. In Formal Ontology in Information Systems (pp. 46–98). Amsterdam, AM: IOS Press.
10.
Gärdenfors, P. (2003). Belief Revision. Cambridge University Press.
11.
Grau, B.C., Horrocks, I., Kazakov, Y. & Sattler, U. (2008). Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research (JAIR), 31, 273–318.
12.
Grüninger, M. (2009). Using the PSL ontology. In S.Staab and R.Studer (Eds.), Handbook on Ontologies (pp. 423–443). Springer. doi:10.1007/978-3-540-92673-3_19.
13.
Grüninger, M., Chui, C. & Katsumi, M. (2017). Upper ontologies in COLORE. In F.N.Antony Galton (Ed.), Foundational Stance (FOUST), Joint Ontology Workshops 2017.
14.
Grüninger, M., Hahmann, T., Hashemi, A., Ong, D. & Özgövde, A. (2012). Modular first-order ontologies via repositories. Applied Ontology, 7(2), 169–209.
15.
Grüninger, M., Hahmann, T., Katsumi, M. & Chui, C. (2014). A sideways look at upper ontologies. In Formal Ontology in Information Systems – Proceedings of the Eighth International Conference, FOIS, September, 22–25, 2014, Rio de Janeiro, Brazil (pp. 22–25).
16.
Grüninger, M. & Katsumi, M. (2012). Specifying ontology design patterns with an ontology repository. In Proceedings of the 3rd International Conference on Ontology Patterns (Vol. 929, pp. 1–12).
17.
Gruninger, M. & Ong, D. (2011). Verification of time ontologies with points and intervals. In F.W.Martin Leucker (Ed.), Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium (pp. 31–38). IEEE. doi:10.1109/TIME.2011.27.
18.
Guarino, N., Oberle, D. & Staab, S. (2009). What Is an Ontology? (2nd ed., pp. 1–17). Berlin: Springer.
19.
Hayes, P. (1996). Catalog of temporal theories. Technical Report Technical Report UIUC-BI-AI-96-01, University of Illinois Urbana-Champagne.
20.
Katsumi, M. & Grüninger, M. (2016). What is ontology reuse? In R.Ferrario and W.Kuhn (Eds.), Formal Ontology in Information Systems: Proceedings of the 9th International Conference (FOIS 2016) (Vol. 283, pp. 9–22). IOS Press.
21.
Katsumi, M. & Grüninger, M. (2017). Choosing ontologies for reuse. Applied Ontology, 12(3–4), 195–221. doi:10.3233/AO-160171.
22.
Konev, B., Lutz, C., Walther, D. & Wolter, F. (2009). Formal properties of modularisation. In H.Stuckenschmidt, C.Parent and S.Spaccapietra (Eds.), Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization (pp. 159–186).
23.
Menzel, C. & Grüninger, M. (2001). A formal foundation for process modeling. In B.Smith and C.Welty (Eds.), Formal Ontology in Information Systems: Proceedings of the 2nd International Conference (FOIS 2001) (pp. 256–269). IOS Press.
24.
Mitra, P. & Wiederhold, G. (2004). An ontology-composition algebra. In R.Studer and S.Staab (Eds.), Handbook on Ontologies (pp. 93–113). Springer. doi:10.1007/978-3-540-24750-0_5.
25.
Mossakowski, T., Codescu, M., Kutz, O., Lange, C. & Gruninger, M. (2013). Proof support for common logic. In C.Benzmüller and J.Otten (Eds.), Proceedings of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July (Vol. 33, pp. 42–58).
26.
Mossakowski, T., Lange, C. & Kutz, O. (2012). Three semantics for the core of the distributed ontology language. In FOIS (Vol. 239, pp. 337–352).
27.
Muñoz, L.S. & Grüninger, M. (2016). Mapping and verification of the time ontology in SUMO. In Formal Ontology in Information Systems – Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6–9, 2016 (pp. 109–122).
28.
Neuhaus, D.F. (2013). Ontology, model and specification integration and interoperability (ontoiop) RFP. Technical report, Object Management Group (OMG).
29.
Noy, N.F. & Musen, M.A. (1999). An algorithm for merging and aligning ontologies: Automation and tool support. In A.Farquhar and K.Stoffel (Eds.), Proceedings of the Workshop on Ontology Management at the Sixteenth National Conference on Artificial Intelligence (AAAI-99) (pp. 17–27).
30.
Pinto, H.S. & Martins, J.P. (2001). A methodology for ontology integration. In Y.Gil, M.Musen and J.Shavlik (Eds.), Proceedings of the 1st International Conference on Knowledge Capture (pp. 131–138). ACM.
31.
Van Benthem, J. (1983). Logic of Time. Springer.
32.
Wiederhold, G. (1994). An algebra for ontology composition. In Proceedings of 1994 Monterey Workshop on Formal Methods (pp. 56–61). Naval Postgraduate School.
