Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

KES 2003: Knowledge-Based Intelligent Information and Engineering Systems pp 21–27Cite as

A Unified Model Maintains Knowledge Base Integrity

  • Conference paper

  • 902 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2773))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   99.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Barr, V.: Applying Reliability Engineering to Expert Systems. In: Proceedings 12th International FLAIRS Conference, Florida, May 1999, pp. 494–498 (1999)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Debenham, J.K.: Knowledge Engineering. Springer, Heidelberg (1998)

    Book  MATH  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Information Technology, University of Technology, PO Box 123, NSW 2007, Sydney, Australia

    John Debenham

Authors
  1. John Debenham
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Laboratory, Oxford University, Parks Road, OXI 3QD, United Kingdom

    Vasile Palade

  2. Intelligent Systems and Signal Processing Labs, Moulsecoomb, University of Brighton, BN2 4GJ, Brighton, United Kingdom

    Robert J. Howlett

  3. Knowledge-Based Intelligent Engineering Systems Centre, Mawson Lakes, University of South Australia, 5095, Adelaide, SA, Australia

    Lakhmi Jain

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation