A system and method for reasoning about concepts, relations and rules having a semantic network comprising at least one node from a predetermined set of node types, at least one link from a predetermined set of link types, and zero or more rules from a predetermined set of rule types, a subset of the...http://www.google.com/patents/US7447667?utm_source=gb-gplus-sharePatent US7447667 - Method and knowledge structures for reasoning about concepts, relations, and rules
