loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Hendrik Decker

Affiliation: Universidad Politécnica de Valencia, Spain

ISBN: 978-989-8565-30-3

Keyword(s): Inconsistency Tolerance, Datalog, Integrity.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Biomedical Engineering ; Data Engineering ; Decision Support Systems ; Enterprise Information Systems ; Expert Systems ; Health Information Systems ; Information Systems Analysis and Specification ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Symbolic Systems

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.242.193.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.