Semantic Nets: Conclusions
In general, anything you can do in a predicate logic theorem prover you can do in a semantic net via inheritance.
Semantic nets can be boosted to first-order logic through the use of partitioning.
Frame languages (e.g. Parmenides) formalize nets and their operations; they are programming languages based on the architecture of nets.
A net involves representational decisions that affect completeness and correctness: the paradigm is general, the power comes from the content.