Semantic network

A semantic network is often used as a form of knowledge representation. It is a directed graph consisting of vertices which represent concepts and edges which represent semantic relations between the concepts.

Semantic networks are a common type of machine-readable dictionary.

Important semantic relations:
 * Meronymy (A is part of B)
 * Holonymy (B has A as a part of itself)


 * Hyponymy (or troponymy) (A is subordinate of B; A is kind of B)
 * Hypernymy (A is superordinate of B)


 * Synonymy (A denotes the same as B)
 * Antonymy (A denotes the opposite of B)

An example of a semantic network is WordNet, a lexical database of English.

Such networks involve fairly loose semantic associations that are nonetheless useful for human browsing. It is possible to represent logical descriptions using semantic networks such as the Existential Graphs of Charles S. Peirce or the related Conceptual Graphs of John F. Sowa. These have expressive power equal to or exceeding standard first-order predicate logic. Unlike WordNet or other lexical or browsing networks, semantic networks using these can be used for reliable automated logical deduction. Some automated reasoners exploit the graph-theoretic features of the networks during processing.

"Semantic Nets" were first invented for computers by Richard H. Richens of the Cambridge Language Research Unit in 1956 as an "interlingua" for machine translation of natural languages. They were developed by Robert F. Simmons at Systems Development Corporation, Santa Monica, California in the early 1960s and later featured prominently in the work of M. Ross Quillian in 1966.

There are also elaborate types of semantic networks connected with corresponding sets of software tools used for lexical knowledge engineering, like the Semantic Network Processing System ( SNePS ) of Stuart C. Shapiro or the MultiNet paradigm of Hermann Helbig (MultiNet is an acronym for "Multilayered Extended Semantic Network"). The latter is especially suited for the semantic representation of natural language expressions and used in several NLP applications.

One can consider a mind map to be a very free form variant of a semantic network. By using colors and pictures the emphasis is on generating a semantic net which evokes human creativity.

In the 1960s to 1980s the idea of a semantic link was developed within hypertext systems as the most basic unit, or edge, in a semantic network. These ideas were extremely influential, and there have been many attempts to add typed link semantics to HTML and XML.