Tools - Protégé
• Free, open source ontology editor and
knowledge based framework
• is being developed at Stanford University, and
University of Manchester
• Protégé-owl (3.x and 4.x), Protégé-frame, and
WebProtégé
Logic Storage
Programming
Interface
Inference Engine
DL Iterator
State Graph Model
Static (Ontologies)
Dynamic
Attack KB
Vulnerability KB
Time Course
System Information
Weakness KB
Prediction
State
Update