Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology

Jaime Ramírez, Angélica de Antonio

Abstract

The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a deductive system (DS). A DS verified by this method contains a set of first order production rules, and a description logic terminology that defines the domain problem. By building an ATMS-like theory the method is able to give an specification of all the initial Fact Bases (FBs), and the rules that would have to be executed from these initial FBs to produce an inconsistency.

References

  1. Levy, A.Y., Rousset, M.: Verification of knowledge bases on containment checking. Artificial Intelligence 101 (1998) 227-250
  2. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10 (1998) 227-252
  3. Ramírez, J., de Antonio, A.: Knowledge base semantic verification based on contexts propagation, Notes of the AAAI-01 Symposium on Model-based Validation of Intelligence (2001)
  4. Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Technical Report RR-95-07, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH Erwin-Schrödinger Strasse Postfach 2080 67608 Kaiserslautern Germany (1995)
  5. Horrocks, I.: Using an expressive description logic: FaCT or fiction? In Cohn, A.G., Schubert, L., Shapiro, S.C., eds.: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), Morgan Kaufmann Publishers, San Francisco, California (1998) 636-647
Download


Paper Citation


in Harvard Style

Ramírez J. and de Antonio A. (2004). Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology . In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 84-86. DOI: 10.5220/0002673300840086


in Bibtex Style

@conference{vveis04,
author={Jaime Ramírez and Angélica de Antonio},
title={Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={84-86},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002673300840086},
isbn={972-8865-03-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
TI - Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology
SN - 972-8865-03-1
AU - Ramírez J.
AU - de Antonio A.
PY - 2004
SP - 84
EP - 86
DO - 10.5220/0002673300840086