Ontology-Based Description of Teaching Knowledge with Increment Feedback Function | IEEE Conference Publication | IEEE Xplore