Intelligent educational systems are knowledge-based systems (KBS) they can be developed by a generic knowledge-based system development methodology. In this paper, we present an ontology-based approach for formalizing ...