An Intensional Conceptualization Model for Ontology-Based Semantic Integration

Authors: Fateh Adhnouss, Husam El-Asfour, Kenneth McIsaac, Abdul Mutalib Wahaishi, Idris El-Feghia

Abstract:

Conceptualization is an essential component of semantic ontology-based approaches. There have been several approaches that rely on extensional structure and extensional reduction structure in order to construct conceptualization. In this paper, several limitations are highlighted relating to their applicability to the construction of conceptualizations in dynamic and open environments. These limitations arise from a number of strong assumptions that do not apply to such environments. An intensional structure is strongly argued to be a natural and adequate modeling approach. This paper presents a conceptualization structure based on property, relations, and propositions theory (PRP) to the model ontology that is suitable for open environments. The model extends the First-Order Logic (FOL) notation and defines the formal representation that enables interoperability between software systems and supports semantic integration for software systems in open, dynamic environments.

Keywords: Conceptualization, ontology, extensional structure, intensional structure.

References:

[1] P. Hitzler, “A review of the semantic web field,” Communications of the ACM, vol. 64, no. 2, pp. 76–83, 2021.
[2] T. Kenaza, “An ontology-based modelling and reasoning for alerts correlation,” International Journal of Data Mining, Modelling and Management, vol. 13, no. 1-2, pp. 65–80, 2021.
[3] T. R. Gruber, “Toward principles for the design of ontologies used for knowledge sharing?” International journal of human-computer studies, vol. 43, no. 5-6, pp. 907–928, 1995.
[4] M. R. Genesereth and N. J. Nilsson, Logical foundations of artificial intelligence. Morgan Kaufmann, 2012.
[5] W. N. Borst, “Construction of engineering ontologies for knowledge sharing and reuse.” 1999.
[6] R. Studer, V. R. Benjamins, and D. Fensel, “Knowledge engineering: principles and methods,” Data & knowledge engineering, vol. 25, no. 1-2, pp. 161–197, 1998.
[7] N. Guarino, D. Oberle, and S. Staab, “What is an ontology?” in Handbook on ontologies. Springer, 2009, pp. 1–17.
[8] N. Guarino, Formal ontology in information systems: Proceedings of the first international conference (FOIS’98), June 6-8, Trento, Italy. IOS press, 1998, vol. 46.
[9] E. Romanenko, D. Calvanese, and G. Guizzardi, “Abstracting ontologydriven conceptual models: Objects, aspects, events, and their parts,” in International Conference on Research Challenges in Information Science. Springer, 2022, pp. 372–388.
[10] S. Borgo, R. Ferrario, and C. Masolo, Ontology Makes Sense: Essays in Honor of Nicola Guarino. IOS Press, 2019, vol. 316.
[11] G. Guizzardi, “Ontology, ontologies and the “i” of fair,” Data Intelligence, vol. 2, no. 1-2, pp. 181–191, 2020.
[12] A. Kumar, G. Deepak, and A. Santhanavijayan, “Hetonto: a novel approach for conceptualization, modeling, visualization, and formalization of domain centric ontologies for heat transfer,” in 2020 IEEE international conference on electronics, computing and communication technologies (CONECCT). IEEE, 2020, pp. 1–6.
[13] M. Verdonck, F. Gailly, R. Pergl, G. Guizzardi, B. Martins, and O. Pastor, “Comparing traditional conceptual modeling with ontology-driven conceptual modeling: An empirical study,” Information Systems, vol. 81, pp. 92–103, 2019.
[14] P. Hitzler and C. Shimizu, “Modular ontologies as a bridge between human conceptualization and data,” in International Conference on Conceptual Structures. Springer, 2018, pp. 3–6.
[15] G. Bealer, “Theories of properties, relations, and propositions,” The Journal of Philosophy, vol. 76, no. 11, pp. 634–648, 1979.
[16] E. R. Kraemer, “Intensional contexts and intensional entities,” Philosophical Studies, vol. 37, no. 1, p. 65, 1980.
[17] Z. Majkic and B. Prasad, “Intensional fol for reasoning about proba-´ bilities and probabilistic logic programming,” International Journal of Intelligent Information and Database Systems, vol. 11, no. 1, pp. 79–96, 2018.
[18] C. Protin, “Bealer’s intensional logic,” arXiv preprint arXiv:2012.09846, 2020.
[19] A. Sullivan, Logicism and the Philosophy of Language: Selections from Frege and Russell. Broadview Press, 2003.