By Topic

Consistency maintenance in ontological knowledge updating

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Tun, N.N. ; Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan ; Tojo, S.

In the formalization of ontology, the notion of identity is especially important, because only it can be explained by the set-theoretical model, in which each property is expressed as a set of individuals. Primarily, an identity condition (IC) is used to judge if two individuals are identical or not. In this paper, we consider multiple identity conditions for a sortal property in order to solve subsumption inconsistency, that is, lack of relevant ICs between two sortal properties. We employ modal logic and provide functions for identity conditions. Our theory of multiple ICs would contribute to the consistent updating of ontological knowledge not only by removing inadequate links on incompatible ICs but also by verifying the IC set of each sortal property on change of subsumption. We present a practical example to illustrate knowledge updating mechanism concerning with rigid properties and their ICs.

Published in:

Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference on

Date of Conference:

8-10 Nov. 2004