A Formal Approach to the Semantics of a Frame Data Model

Reimer, Ulrich; Hahn, Udo

A Formal Approach to the Semantics of a Frame Data Model

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 337-338.

Abstract

Standard knowledge representation languages are seriously lacking an explicit formal semantic specification. This may cause considerable trouble when applied to large amounts of rapidly changing data. Based on an abstract data type view of knowledge representation languages a formal definition of a frame data model is presented in terms of a denotational semantics approach using a subset of META-IV. After introducing some basic concepts of the model several semantic integrity constraints are outlined which ultimately lead to the formulation of a set of operations in the frame data model.

Ulrich Reimer, and Udo Hahn. 1983. A Formal Approach to the Semantics of a Frame Data Model. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 337–338. https://ijcai.org/proceedings/1983/78

@inproceedings{ijcai1983p78,
  title     = {A Formal Approach to the Semantics of a Frame Data Model},
  author    = {Reimer, Ulrich and Hahn, Udo},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {337--338},
  year      = {1983},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1983/78},
}

TY  - CPAPER
TI  - A Formal Approach to the Semantics of a Frame Data Model
AU  - Reimer, Ulrich
AU  - Hahn, Udo
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 337
EP  - 338
UR  - https://ijcai.org/proceedings/1983/78
ER  -