Integrity constraints for general-purpose knowledge bases

DOI10.1007/978-3-319-30024-5_13MaRDI QIDQ2807083zbMATH OpenOpenAlexFDO

Authors Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp

Publication date 19 May 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.04980

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Abstract: Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system's consistency, but are kept separate from the reasoning mechanisms. In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.

Recommendations

• Active integrity constraints for general-purpose knowledge bases
• scientific article; zbMATH DE number 1182734
• scientific article; zbMATH DE number 4197471
• Integrity checking and maintenance in relational and deductive databases and beyond
• Integrity constraints in logic databases

Cited in

(8)

• Active integrity constraints for general-purpose knowledge bases
• Integrity constraints in OWL ontologies based on grounded circumscription
• A generalisation of entity and referential integrity in relational databases
• Guarded hybrid knowledge bases
• Semantic integrity constraints in knowledge-based database design systems
• scientific article; zbMATH DE number 1182734 (Why is no real title available?)
• scientific article; zbMATH DE number 1950745 (Why is no real title available?)
• Grounded fixpoints and active integrity constraints

This page was built for publication: Integrity constraints for general-purpose knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807083)