Ontology-Based Skills Knowledge Base Construction Method and Its Application in Educational Games | IEEE Conference Publication | IEEE Xplore