{"type":"ScholarlyArticle","title":"Semantic Networks as Abstract Data Types","authors":[{"name":"Werner Dilger","slug":"werner-dilger","given":"Werner","family":"Dilger","affiliation":""},{"name":"Wolfgang Womann","slug":"wolfgang-womann","given":"Wolfgang","family":"Womann","affiliation":""}],"abstract":"A meta-description of semantic networks as abstract data types is given by a set of 35 production schempta. With this schemata it is possible to specify all types of semantic networks as abstract data types. By instantiation of concrete types for nodes and edges as semantic primitives we get from the metadescrip~ion axiomatic definitions of arbitrary types of semantic networks as abstract data types. The production schemata of the metadescription can be shown to be noetherian and confluent. Each term describing a semantic network can be reduced to an equivalent minimal generating expression.","doi":null,"url":"https://ijcai.org/proceedings/1983/74","pdf":"https://ijcai.org/proceedings/1983/0074.pdf","markdown":"https://ijcai.org/proceedings/1983/74.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/74","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":74,"pages":{"first":321,"last":323},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}