A Unified Model Maintains Knowledge Base Integrity

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Debenham, JK
dc.contributor.editor Palade, V
dc.contributor.editor Howlett, RJ
dc.contributor.editor Jain, L
dc.date.accessioned 2009-12-21T03:54:44Z
dc.date.issued 2003-01
dc.identifier.citation Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 Proceedings Part I, 2003, pp. 21 - 27
dc.identifier.issn 0302-9743
dc.identifier.other C1 en_US
dc.identifier.uri http://hdl.handle.net/10453/5978
dc.description.abstract A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine which parts of that model should be checked for correctness in response a change in the application. The maintenance problem is not computable for first-order knowledge bases. Two things in the conceptual model are joined by a maintenance link if a modification to one of them means that the other must be checked for correctness, and so possibly modified, if consistency of the model is to be preserved. In a unified conceptual model for first-order knowledge bases the data and knowledge are modelled formally in a uniform way. A characterisation is given of four different kinds of maintenance links in a unified conceptual model. Two of these four kinds of maintenance links can be removed by transforming the conceptual model. In this way the maintenance problem is simplified.
dc.publisher Springer-Verlag Berlin Heidelberg
dc.relation.hasversion Accepted manuscript version
dc.relation.isbasedon 10.1007/978-3-540-45224-9_7
dc.rights This article is (c) Emerald Group Publishing and permission has been granted for this version to appear here (http://epress.lib.uts.edu.au/research/handle/10453/5978). Emerald does not grant permission for this article to be further copied/distributed or hosted elsewhere without the express permission from Emerald Group Publishing Limited.
dc.subject NA, Artificial Intelligence & Image Processing, 08 Information And Computing Sciences
dc.subject NA; Artificial Intelligence & Image Processing
dc.title A Unified Model Maintains Knowledge Base Integrity
dc.type Conference Proceeding
dc.parent Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 Proceedings Part I
dc.journal.number 7/8 en_US
dc.publocation Bradfield, England en_US
dc.publocation Germany
dc.identifier.startpage 326 en_US
dc.identifier.endpage 331 en_US
dc.cauo.name FASS.Education Group en_US
dc.conference Verified OK en_US
dc.conference International Conference on Knowledge-Based and Intelligent Information and Engineering Systems
dc.for 0806 Information Systems
dc.for 08 Information And Computing Sciences
dc.personcode 910497 en_US
dc.personcode 910416 en_US
dc.percentage 100 en_US
dc.classification.name Business and Management en_US
dc.classification.type FOR-08 en_US
dc.date.activity 2003-08-03
dc.location.activity Oxford, UK
dc.description.keywords NA
dc.staffid 910416 en_US
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems


Files in this item

This item appears in the following Collection(s)

Show simple item record