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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mayol, E., Teniente, E.: Addressing Efficiency Issues During the Process of Integrity Maintenance. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 270–281. Springer, Heidelberg (1999)
Debenham, J.K.: Validity of First-Order Knowledge Bases. In: Proceedings 14th International FLAIRS Conference FLAIRS-2001, Key West, Florida, May 21-23, pp. 217–221 (2001)
Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising It. In: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, Morgan Kaufmann, San Francisco (1991)
Barr, V.: Applying Reliability Engineering to Expert Systems. In: Proceedings 12th International FLAIRS Conference, Florida, May 1999, pp. 494–498 (1999)
Jantke, K.P., Herrmann, J.: Lattices of Knowledge in Intelligent Systems Validation. In: Proceedings 12th International FLAIRS Conference, Florida, May 1999, pp. 499–505 (1999)
Darwiche, A.: Compiling Knowledge into Decomposable Negation Normal Form. In: Proceedings International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, August 1999, pp. 284–289 (1999)
Debenham, J.K.: Knowledge Engineering. Springer, Heidelberg (1998)
Johnson, G., Santos, E.: Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge. In: Proceedings 13th International FLAIRS Conference, Florida, May 2000, pp. 186–191 (2000)
Ramirez, J., de Antonio, A.: Semantic Verification of Rule-Based Systems with Arithmetic Constraints. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 437–446. Springer, Heidelberg (2000)
Baral, C., Zhang, Y.: On the Semantics of Knowledge Update. In: Proceedings Seventeeth International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, Washington, August 2001, pp. 97–102 (2001)
Roger, M., Simonet, A., Simonet, M.: Bringing together Description Logics and Database in an Object Oriented Model. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 504–513. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Debenham, J. (2003). A Unified Model Maintains Knowledge Base Integrity. In: Palade, V., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2003. Lecture Notes in Computer Science(), vol 2773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45224-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45224-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40803-1
Online ISBN: 978-3-540-45224-9
eBook Packages: Springer Book Archive