A Unified Model Maintains Knowledge Base Integrity

Debenham, JK

A Unified Model Maintains Knowledge Base Integrity

Debenham, JK

Permalink

Publisher:: Springer-Verlag Berlin Heidelberg
Publication Type:: Conference Proceeding
Citation:: Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 Proceedings Part I, 2003, pp. 21 - 27
Issue Date:: 2003-01

Closed Access

	Filename	Description	Size
	2003002079.pdf		526.33 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Debenham, JK	en_US
dc.contributor.editor	Palade, V	en_US
dc.contributor.editor	Howlett, RJ	en_US
dc.contributor.editor	Jain, L	en_US
dc.date	2003-08-03	en_US
dc.date.issued	2003-01	en_US
dc.identifier.citation	Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 Proceedings Part I, 2003, pp. 21 - 27	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/10453/1756
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.	en_US
dc.publisher	Springer-Verlag Berlin Heidelberg	en_US
dc.relation.ispartof	Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 Proceedings Part I	en_US
dc.relation.ispartof	International Conference on Knowledge-Based and Intelligent Information and Engineering Systems	en_US
dc.relation.isbasedon	10.1007/978-3-540-45224-9_7	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	A Unified Model Maintains Knowledge Base Integrity	en_US
dc.type	Conference Proceeding
utslib.location	Germany	en_US
utslib.location.activity	Oxford, UK	en_US
utslib.for	0806 Information Systems	en_US
dc.location.activity	Oxford, UK	en_US
pubs.embargo.period	Not known	en_US
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 - AAI - Advanced Analytics Institute Research Centre
utslib.copyright.status	closed_access
pubs.consider-herdc	true	en_US
pubs.place-of-publication	Germany	en_US
pubs.start-date	2003-08-03	en_US

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.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/1756