Integrity Constraints for General-Purpose Knowledge Bases

@inproceedings{CruzFilipe2016IntegrityCF,
  title={Integrity Constraints for General-Purpose Knowledge Bases},
  author={Lu{\'i}s Cruz-Filipe and Isabel Nunes and Peter Schneider-Kamp},
  booktitle={FoIKS},
  year={2016}
}
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… CONTINUE READING