Authors:
Islam Ali
and
Hamada Ghenniwa
Affiliation:
Western University, Canada
Keyword(s):
Conceptualization, Extensional Logic, Intensional Logic, Extensionalization.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Collaboration and e-Services
;
Data Engineering
;
e-Business
;
Enterprise Information Systems
;
Information Integration
;
Information Systems Analysis and Specification
;
Integration/Interoperability
;
Knowledge Engineering and Ontology Development
;
Knowledge Reengineering
;
Knowledge Representation
;
Knowledge-Based Systems
;
MetaModeling
;
Models
;
Ontologies and the Semantic Web
;
Ontology Engineering
;
Paradigm Trends
;
Software Engineering
;
Symbolic Systems
Abstract:
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.