The design of an intelligent tutoring system based on the ontology of procedural knowledge | IEEE Conference Publication | IEEE Xplore