Formal properties of net-based knowledge representation schemes

In the spirit of integrating data base and artificial intelligence techniques, a number of concepts widely used in relational data base theory are introduced in a knowledge representation scheme. A simple network model, which allows the representation of types, is-a relationships and disjointness constraints is considered. The concepts of consistency and redundancy are introduced and characterized by means of implication of constraints and systems of inference rules, and by means of graph theoretic concepts.

[1]  Gio Wiederhold,et al.  Knowledge and Database Management , 1984, IEEE Software.

[2]  Hector J. Levesque,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[3]  M. Vetter.  Principles of Data Base Systems , 1977, International Computing Symposium.

[4]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[5]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[6]  Maurizio Lenzerini,et al.  A computer-aided methodology for conceptual data-base design , 1982, Inf. Syst..