{"type":"ScholarlyArticle","title":"A Formal Approach to the Semantics of a Frame Data Model","authors":[{"name":"Ulrich Reimer","slug":"ulrich-reimer","given":"Ulrich","family":"Reimer","affiliation":"Universitaet Konstanz Informationswissenschaft Postfach 5560 D-7750 Konstanz l ,"},{"name":"Udo Hahn","slug":"udo-hahn","given":"Udo","family":"Hahn","affiliation":"Universitaet Konstanz Informationswissenschaft Postfach 5560 D-7750 Konstanz l ,"}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/78","pdf":"https://ijcai.org/proceedings/1983/0078.pdf","markdown":"https://ijcai.org/proceedings/1983/78.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/78","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":78,"pages":{"first":337,"last":338},"keywords":[],"videos":[],"references":[{"position":1,"raw":"BJORNER, D.: Formalization of Data Base Models. In: D. Bjorner (ed) : Abstract Software Specifications. Berlin: Springer, 1980, pp.144-215.","title":"Formalization of Data Base Models","authors":"D Bjorner","year":"1980","venue":"Abstract Software Specifications","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"BOBROW, D.G. I WINOGRAD, T.: An Overview of KRL, a Knowledge Representation Language. In: Cognitive Science 1. 1977, pp.3-46.","title":"An Overview of KRL, a Knowledge Representation Language","authors":"D G Bobrow, T Winograd","year":"1977","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"BRACHMANN, R.J.: On the Epistemological Status of Semantic Networks. In: N.V. Findler (ed): Associative Networks. New York: Academic Pr., 1979, pp. 3-50.","title":"On the Epistemological Status of Semantic Networks","authors":"R J Brachmann","year":"1979","venue":"Associative Networks","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"REIMER, U. I HAHN, U.: A Formal Approach to the Semantics of a Frame Data Model. Konstanz: Universitaet Konstanz, Informationswissen- schaft, 1983 (TOPIC-3183) •","title":"A Formal Approach to the Semantics of a Frame Data Model","authors":"U Reimer, U Hahn","year":"1983","venue":"Informationswissenschaft","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"ROBERTS, R.B. I GOLDSTEIN, I.P.: The FRL Manual. MIT AI-Lab., 1977.","title":"The FRL Manual","authors":"R B Roberts, I P Goldstein","year":"1977","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"TOPIC: A System for Automatic Text Condensa- tion. In: ACM SIGART Newsletter #83, 1983. pp. 20-21.","title":"TOPIC: A System for Automatic Text Condensation","authors":null,"year":"1983","venue":"ACM SIGART Newsletter #","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"WEINER, J.L. / PALMER, M.: The Design of a System for Designing Knowledge Representation Systems. In: Proceedings IJCAI-81, 1981, pp.277-282.","title":"The Design of a System for Designing Knowledge Representation Systems","authors":"J L Weiner, M Palmer","year":"1981","venue":"Proceedings IJCAI-81","doi":null,"url":null,"internal_url":"/proceedings/1981/56"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}