Conceptualization - A Novel Intensional-based Model

Islam Ali, Hamada Ghenniwa


A formal treatment of conceptualization is essential and a fundamental aspect of knowledge representation, Ontologies and information engineering. Several approaches have been proposed based on extensional logic and extensional reduction model. However, in this paper we highlight several limitations of their applicability for modelling conceptualizations in dynamic and open environments, due to several strong assumptions that are not adequate for dynamic and open environments. To this end we argue that intension based model is a natural and adequate model. We present a model based on the theory of Properties Relations and Propositions. This description takes the concepts and relations as primitives and, as such, irreducible. The proposed description is then extended to describe the world in more details by capturing the properties of the domain concepts.


  1. Adams, R. M. (1974). Theories of Actuality, Nous, 8, 211- 231.
  2. Anderson, C. A. (1984). General Intensional Logic. In Gabbay, D. and Guenthner, F. (Eds.), Handbook of Philosophical Logic (Vol. 2, pp 355-385). Dordrecht: D. Reidel.
  3. Aparaso, R. (2010). Research Methods for Pharmaceutical Practice and Policy (1st ed.). London and Chicago: Pharmaceutical Press.
  4. Bealer, G. (1979). Theories of Properties Relations and Propositions, Journal of Philosophy, 76, 634-648.
  5. Bealer, G. (1982). Quality and Concept (1st ed.). USA: Oxford University Press.
  6. Bealer, G. (1983). Completeness in the Theory of Properties, Relations, and Propositions. The Journal of Symbolic Logic, 48(2), 415-426.
  7. Bealer, G. (1993). A Solution to Frege's Puzzle. Philosophical Perspectives, 7, 17-16.
  8. Bealer, G. (1998a). Propositions, Mind, 107, 1-32.
  9. Bealer, G. (1998b). Intensional Entities. In Edward, C. (Ed.), Routledge encyclopaedia of philosophy (Vol. 4, pp 803-807), London: Routledge.
  10. Beacon, J. (2008). Tropes. In Zalta, E. N. (Ed.), Stanford encyclopaedia of philosophy. Retrieved April 1, 2012, from
  11. Fitting, M. (2007). Intensional Logic. In Zalta, E. N. (Ed.), Stanford Encyclopedia of Philosophy. Retrieved April 1, 2012, from
  12. Guarino, N. and Giaretta P. (1995). Ontologies and knowledge bases: towards a terminological clarification. In Mars, N. J. I. (Eds.), Towards Very Large Knowledge Bases, Knowledge Building & knowledge sharing (pp 25-32), IOS Pr Inc.
  13. Guarino, N. (1998). Formal Ontology and Information Systems. In FOIS'98, 1st International Conference on Formal Ontology in Information Systems, 3-15.
  14. Guarino, N., Oberle, D. and Staab, S. (2009). What is an Ontology? In Stasb, S. and Studer, R., Handbook on Ontology (International Handbooks on Information Systems) (2nd ed.) (pp. 1-17). Springer.
  15. Genesereth, M. R. and Nilsson, N. J. (1987). Logical Foundation of Artificial Intelligence (1st ed.). Los Altos, California: Morgan Kaufmann.
  16. Gruber, T. R. (1993). A Translation Approach to Portable Ontologies, Knowledge Acquisition, 5(2), 199-220.
  17. Gruber, T. R. (1995). Towards Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human Computer Studies, 43(5-6), 907-928.
  18. Jubien, M. (1988). Problems with Possible Worlds. In Austin, D. F. (Ed.), Philosophical Analysis (pp. 299- 322). Dordrecht: Kluwer.
  19. Lewis, D. (1986). On the Plurality of Worlds. Oxford: Blackwell.
  20. Majkic, Z. (2009). Intensional First-Order Logic for P2P Database Systems, In JoDS XII, Journal of Data Semantics (Lecture Notes in Computer Science), 5480, 131-152.
  21. Medin, D. L., and Rips, L. J. (2005). Concepts and categories: Meaning, memory, and metaphysics. In K. J. Holyoak and R. G. Morrison (Eds.), Cambridge handbook of thinking and reasoning (pp. 37-72). Cambridge, UK: Cambridge University Press.
  22. Xue, Y. (2010). Ontological View-driven Semantic Integration in Open Environment, PH.D Thesis, the University of Western Ontario. London, Ontario, Canada.

Paper Citation

in Harvard Style

Ali I. and Ghenniwa H. (2012). Conceptualization - A Novel Intensional-based Model . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012) ISBN 978-989-8565-30-3, pages 257-264. DOI: 10.5220/0004145202570264

in Bibtex Style

author={Islam Ali and Hamada Ghenniwa},
title={Conceptualization - A Novel Intensional-based Model},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)
TI - Conceptualization - A Novel Intensional-based Model
SN - 978-989-8565-30-3
AU - Ali I.
AU - Ghenniwa H.
PY - 2012
SP - 257
EP - 264
DO - 10.5220/0004145202570264