Datalog for Inconsistency-tolerant Knowledge Engineering

Hendrik Decker

2012

Abstract

Inconsistency tolerance is widely discussed and accepted in the scientific community of knowledge engineering. From a principled, theoretical point of view, however, the fundamental conflict of sound reasoning with unsound data has remained largely unresolved. The vast majority of applications that need inconsistency tolerance either does not care about a firm theoretical underpinning, or recurs on non-standard logics, or superficially refers to well-established classical foundations. We argue that hardly any of these paradigms will survive in the long run. We defend the position that datalog (Abiteboul et al., 1995), including integrity constraints, is a viable candidate for a sound and robust foundation of inconsistency-tolerant knowledge engineering. We line our argument by a propaedeutic glance at the history of issues related to inconsistency.

Paper Citation

in Harvard Style

Decker H. (2012). Datalog for Inconsistency-tolerant Knowledge Engineering . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012) ISBN 978-989-8565-30-3, pages 296-301. DOI: 10.5220/0004172202960301

in Bibtex Style

@conference{keod12,
author={Hendrik Decker},
title={Datalog for Inconsistency-tolerant Knowledge Engineering},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)},
year={2012},
pages={296-301},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004172202960301},
isbn={978-989-8565-30-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)
TI - Datalog for Inconsistency-tolerant Knowledge Engineering
SN - 978-989-8565-30-3
AU - Decker H.
PY - 2012
SP - 296
EP - 301
DO - 10.5220/0004172202960301