An Ontology-Based Computational Thinking Framework