Specifying Dynamic and Deontic Integrity Constraints

  title={Specifying Dynamic and Deontic Integrity Constraints},
  author={Roel Wieringa and John-Jules Ch. Meyer and Hans Weigand},
  journal={Data Knowl. Eng.},
In the dominant view of knowledge bases (KB's), a KB is a set of facts (atomic sentences) and integrity constraints (IC's). An IC is then a sentence which must at least be consistent with the other sentences in the KB. This view obliterates the distinction between, for example, the constraint that age is a natural number (which is true of the universe of discourse (UoD) but may be false in a particular implementation of a KB), and the constraint that a class must have precisely one teacher… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
53 Extracted Citations
15 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 15 references

Reasoning with Incomplete Information (Pitman

  • D. W. Etherington
  • 1988

A simple solution to the "deepest" paradox in deontic logic

  • J.4. Ch. Meyer
  • Logique et Analyse
  • 1987

KIop, Process algebra: Specification and verification in bisimulation semantics, in: M. Hazewinkei, J.K. Lenstra and L.G.L.T

  • J.W.J.A. Bergstra
  • Meertens (eds.) Mathematics and Computer Science…
  • 1986

Some nasty problems in the formalization of ethics, Norms

  • A. R. Anderson
  • Algebra of communicating processes,
  • 1986

Kripke, Naming and Necessity, revised and enlarged edition

  • S.A
  • (Basil Biackweil,
  • 1980

Similar Papers

Loading similar papers…