%0 Conference Paper %1 allen82network %A Allen, James F. %A Frisch, Alan M. %B Proceedings of the 20th annual meeting on Association for Computational Linguistics %C Morristown, NJ, USA %D 1982 %I Association for Computational Linguistics %K research.kr research.conceptual.graphs %P 19--27 %R http://dx.doi.org/10.3115/981251.981256 %T What's in a semantic network? %U http://portal.acm.org/citation.cfm?id=981256 %X Ever since Wood's "What's in a Link" paper, there has been a growing concern for formalization in the study of knowledge representation. Several arguments have been made that frame representation languages and semantic-network languages are syntactic variants of the first-order predicate calculus (FOPC). The typical argument proceeds by showing how any given frame or network representation can be mapped to a logically isomorphic FOPC representation. For the past two years we have been studying the formalization of knowledge retrievers as well as the representation languages that they operate on. This paper presents a representation language in the notation of FOPC whose form facilitates the design of a semantic-network-like retriever.

@inproceedings{allen82network, abstract = {Ever since Wood's "What's in a Link" paper, there has been a growing concern for formalization in the study of knowledge representation. Several arguments have been made that frame representation languages and semantic-network languages are syntactic variants of the first-order predicate calculus (FOPC). The typical argument proceeds by showing how any given frame or network representation can be mapped to a logically isomorphic FOPC representation. For the past two years we have been studying the formalization of knowledge retrievers as well as the representation languages that they operate on. This paper presents a representation language in the notation of FOPC whose form facilitates the design of a semantic-network-like retriever.}, added-at = {2010-10-18T13:46:23.000+0200}, address = {Morristown, NJ, USA}, author = {Allen, James F. and Frisch, Alan M.}, biburl = {https://www.bibsonomy.org/bibtex/274ba51c56bfb95f43eabc4937852518f/msn}, booktitle = {Proceedings of the 20th annual meeting on Association for Computational Linguistics}, description = {What's in a semantic network?}, doi = {http://dx.doi.org/10.3115/981251.981256}, interhash = {a0c1defc191e70341445aa7cb0921035}, intrahash = {74ba51c56bfb95f43eabc4937852518f}, keywords = {research.kr research.conceptual.graphs}, location = {Toronto, Ontario, Canada}, pages = {19--27}, publisher = {Association for Computational Linguistics}, timestamp = {2010-10-18T13:46:23.000+0200}, title = {What's in a semantic network?}, url = {http://portal.acm.org/citation.cfm?id=981256}, year = 1982 }