Consistency Verification of a Non-monotonic Deductive System based on OWL Lite

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 production rules, and an OWL Lite ontology that defines the problem domain. The antecedent of a rule is a formula in Disjunctive Normal Form, which encompasses first-order literals and linear arithmetic constraints, and the consequent is a list of actions that can add or delete assertions in a non-monotonic manner. By building an ATMS-like theory the method is able to give a 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. de Kleer, J.: An assumption based TMS. Artificial Intelligence 28 (1986) 127-162
  2. Rousset, M.: On the consistency of knowledge bases: The COVADIS system, Proceedings ECAI-88, Munich, Alemania (1988) pp. 79-84.
  3. Ginsberg, A.: Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy, Proceedings of the AAAI-88 (1988) pp. 585-589.
  4. Antoniou, G.: Verification and correctness issues for nonmonotonic knowledge bases. International Journal of Intelligent Systems 12 (1997) 725-738
  5. Wu, C.H., Lee, S.J.: Knowledge verification with an enhanced high-level petri-net model. IEEE Expert 12 (1997) 73-80
  6. Lee, S., O'Keefe, R.M.: Subsumption anomalies in hybrid knowledge based systems. International Journal of Expert Systems 6 (1993) 299-320
  7. Levy, A.Y., Rousset, M.: Verification of knowledge bases on containment checking. Artificial Intelligence 101 (1998) 227-250
  8. Levy, A.Y., Rousset, M.: CARIN: A representation language combining horn rules and description logics, Proceedings ECAI'96 (1996)
  9. Horrocks, I., Patel-Schneider, P.F.: Three theses of representation in the semantic web. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), ACM (2003) 39-47
  10. 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) http://ase.arc.nasa.gov/mvi/abstracts/index.html.
Download


Paper Citation


in Harvard Style

Ramírez J. and de Antonio A. (2005). Consistency Verification of a Non-monotonic Deductive System based on OWL Lite . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 19-28. DOI: 10.5220/0002573400190028


in Bibtex Style

@conference{msvveis05,
author={Jaime Ramírez and Angélica de Antonio},
title={Consistency Verification of a Non-monotonic Deductive System based on OWL Lite},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={19-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002573400190028},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - Consistency Verification of a Non-monotonic Deductive System based on OWL Lite
SN - 972-8865-22-8
AU - Ramírez J.
AU - de Antonio A.
PY - 2005
SP - 19
EP - 28
DO - 10.5220/0002573400190028