Ontology-Based Skills Knowledge Base Construction Method and Its Application in Educational Games