Reasoning algorithmson semantic networks
Inheritance: a node inherits all the properties of the 'more general' nodes of the network
Intersection search: identification of the realationships between two concepts. Obtained by means of a search of paths in the network (through spreading activation) connecting the two nodes