A formal approach to the semantics of a frame data model
作者： Ulrich Reimer , Udo Hahn
DOI:
关键词: Logical data model 、 Denotational semantics of the Actor model 、 Denotational semantics 、 Operational semantics 、 Semantics of logic 、 Programming language 、 Theoretical computer science 、 Semantics 、 Action semantics 、 Knowledge representation and reasoning 、 Semantic computing 、 Data model 、 Computer science 、 IDEF1X 、 Abstract data type
摘要: 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 abstract data type view a definition frame model is presented in terms denotational semantics approach using subset META-IV. After introducing some basic concepts the several integrity constraints outlined which ultimately lead formulation set operations model.
ijcai.org 参考文章(5)
James L. Welner, Merthe Palmer, The design of a system for designing knowledge representation systems international joint conference on artificial intelligence. pp. 277- 282 ,(1981)
Dines Bjørner, Formalization of Data Base Models Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School. pp. 144- 215 ,(1979) , 10.1007/3-540-10007-5_37
Ronald J. Brachman, ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS Associative Networks#R##N#Representation and Use of Knowledge by Computers. ,vol. 78, pp. 3- 50 ,(1979) , 10.1016/B978-0-12-256380-5.50007-4
R. B Roberts, Ira P. Goldstein, The FRL Manual Massachusetts Institute of Technology. ,(1977)
Daniel G. Bobrow, Terry Winograd, An overview of KRL, a Knowledge Representation Language Cognitive Science. ,vol. 1, pp. 3- 46 ,(1976) , 10.1207/S15516709COG0101_2