Skip to search boxSkip to navigationSkip to main content

Integrity Constraints for General-Purpose Knowledge Bases

  • Luis Cruz-Filipe
    ,
  • Isabel Nunes
    ,
  • Peter Schneider-Kamp
  • University of Southern Denmark
    ,
  • Faculty of Sciences of the University of Lisbon
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-review

Host publication Subtitle

Lecture Notes in Computer Science

Original language

English

Pages from-to (Number of pages)

Pages 235-254 (20 pages)

Publication milestones

  • Published - 2016

Publication status

Published - 2016

Place of publication

Cham, Switzerland

Volume

9616

Publisher

Springer Nature Switzerland

Book series

  • Book series name: Lecture Notes in Computer Science
978-3-319-30023-8

ISBN (Electronic)

978-3-319-30024-5

Publication IDs

  • Scopus: 84960355219

Host publication title

Foundations of Information and Knowledge Systems

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.

Publication metrics

PlumX, opens in new tab

Citations
4
Captures
4

Funding Details

This work was supported by the Danish Council for Independent Research, Natural Sciences, and by FCT/MCTES/PIDDAC under centre grant to BioISI (Centre Reference: UID/MULTI/04046/2013).

Access to documents