A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment | Synapse