Semantic Nets

• I think semantic nets are the best thing computer scientists have come up with for KR.
• A semantic net is a graph with nodes being concepts. Directed arcs are relationships between concepts, and the arcs are labelled.
• The most powerful arc is the IsA (also called inheritence).
• The instanceOf arc is also powerful.
• You've done this with class inheritence.
• Quillian came up with Semantic Nets in 1969 as a way of describing human knowledge representation.
• OWL translates directly to Semantic Nets though it doesn't have property inheritence.