Modeling instructional material using ontology
Cyc: toward programs with common sense