Output details

Analysing inconsistent first-order knowledgebases

<22> This paper provides the first proposal for measuring inconsistency in first-order predicate logic. We provide theoretical tools that can determine the degree of inconsistency in sets of classical formulae with finite and infinite domains, and investigate applicability in handling inconsistency in relational data. Key definitions and results introduced in this paper have been used and extended by others (who have proposed further results, algorithms, and applications in description logic ontologies, database integrity, and software requirement specifications) for example, at Peking University, University of Maryland, CNRS, Vienna University of Technology and Queen’s University Belfast.