程式設計為大學部重要的課程，土木系與資工系對於程式設計有不同的訓練需求，土木系較重視學生能應用邏輯觀念透過程式語言解決工程問題；資工系較重視學生對於基礎演算法與資料結構的認識與運用。故在土木系教導工程程式設計課程時，除介紹程式語言機制外，也須複習相關數理邏輯知識，以讓學生綜合運用。此外，研究顯示學習程式語言最佳作法為讓學生直接上機練習撰寫程式，透過大量考試練習將能提升學生的學習成效，另必須時常變換試題題目以避免學生抄襲。但因目前虛擬學習環境(Virtual Learning Environment, VLE)無此功能，是故，如何能設計一個線上考試平台滿足上述需求，便為一重要課題。
經由Web Ontology Language(OWL)建立的本體，包括了個體、性質及類別三項組件。藉由組件之間的關聯性與性質，可以表達複雜的領域觀念。本體論也提供了推論的功能，可以自動驗證模型的一致性、並且進行分類。因此，本體論在本研究中，建立了一個本體論模型，以捕捉C++的領域知識。本研究中將運用此模型，組合相關的觀念結合以形成新的題目，藉此使線上考試平台中的題目能有動態變化，既產生大量題目，也防止學生間互相抄襲。

As the programming competence has become one of the most fundamental skills for civil engineers, undergraduate students in many universities and colleges are now required to take a programming language course such as C++ or Java. Researchers have pointed out that the best way to expedite the learning process for students taking the programming language course is to ask them to write codes by themselves. However, plagiarism always exists among students’ source codes and the course instructor does not have an effective means to verify whether a student truly understand the programming concepts or not. Use of the ontology for the programming language concepts may help resolve the above problem. In fact, the interaction between the instructor and the students is a knowledge exchange process.
In the Web Ontology Language (OWL) definition, the ontology consists of three components: individuals, properties, and classes. The relationships of these components and the characteristics of properties make the ontology be able to represent complicated concepts. The ontology also includes a reasoning mechanism which can automatically verify the rationality and consistency of the model and do the classification. This study constructs an ontology model to capture the concepts of the C++ programming language. With the ontology model, similar concepts of the programming language could be combined together by the OWL reasoner to generate a new question. This model can assist in creating an online exam platform that can contain a large number of question templates and generate a question dynamically. Preventing plagiarism can also be achieved by generating a unique set of questions for each student, i.e., changing the parameters or other status of a question. The instructor can concentrate more on the learning process of a student, while students’ real learning performances can be evaluated by using this online exam platform.

ALFONSECA, E., RODRIGUEZ, P. and PEREZ, D., 2007. An approach for automatic generation of adaptive hypermedia in education with multilingual knowledge discovery techniques. Computers & Education, v49, 495-513.
ANDRADE, J., ARES, J., GARCIA, RODRIGUEZ, S., SEOANE, M. and SUAREZ, S., 2008. Guidelines for the development of e-learning systems by means of proactive questions. Computers & Education, v51, 1510-1522.
BARLA, M., BIELIKOVA, M.,EZZEDDINNE, A.B., KRAMAR, T., SIMKO, M. and VOZAR, O., 2010. On the impact of adaptive test question selection for learning efficiency. Computers & Education, v55, 846-857.
EL-ALFY, E.M. and ABDEL-AAL, R.E., 2008. Construction and analysis of educational tests using abductive machine learning, Computers & Education, v51, 1-16.
EL-DIRABY, T.E. and KASHIF K.F., 2005. Distributed ontology architecture for knowledge management in highway construction. Journal of Construction Engineering and Management, v131.5, 591-603.
FERNANDEZ, A.J. and SANCHEZ, J.M., 2004. CGRAPHIC: Educational software for learning the foundations of programming. Computer Applications in Engineering Education, v11.4, 167-178.
GONZALEZ-VIDEGARAY, M., HERNANDEZ-ZAMORA, G. and DEL-RIO-MARTINEZC, J.H., 2009. Learning objects in theory and practice: A vision from Mexican University teachers, Computers & Education, v53, 1330-1338.
GRUBER, T.R., 1995, Toward principles for the design of ontologies used for knowledge sharing, International journal of human-computer studies, v43.5, p907-928.
HALMOS, P.R., 1974. Naive set theory, New York: Springer-Verlag.
HORRIDGE, M., JUPP, S., MOULTON, G., RECTOR, A., STEVENS, R. and WROE, C., 2007. A practical guide to building OWL ontologies using Protege 4 and CO-ODE Tools Edition 1.1, Available online: owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/, Last accessed: December 2009.
HSIEH, S.H. and LU, M.D., 2006. Collaborative engineering software development: ontology-based approach. In: Intelligent computing in engineering and architecture, 2006, Ascona, Switzerland.
HUANG, G.J., LIN, B.M.T. and LIN, T.L., 2006. An effective approach for test-sheet composition with large-scale item banks, Computers & Education, v46, 122-139.
HUANG, Y.M., LIN, Y.T. and CHENG, S.C., 2009. An adaptive testing system for supporting versatile educational assessment, Computers & Education, v52, 53-67.
KOONG, C.S. and WU, C.Y., 2010. An interactive item sharing website for creating and conducting on-line testing, Computers & Education, v55, 131-144.
LAHTINEN, E., ALA-MUTKA, K. and JARVINEN, H.M., 2005. A study of the difficulties of novice programmers. In: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, 2005, Caparica, Portugal.
LEE, M.C., TSAI, K.H. and WANG, T.I., 2008. A practical ontology query expansion algorithm for semantic-aware learning objects retrieval, Computers & Education, v50, 1240-1257.
LEITE, F., AKINCI, B., GARRETT, J. and AKIN, O., 2009. Representation of facility contents and threats for supporting identification of vulnerabilities in building emergencies, In: Proceedings of the 2009 ASCE International Workshop on Computing in Civil Engineering, 2009, Austion, Texas.
MENG, A., YE, L., ROY, D. and PADILLA, P., 2007. Generic algorithm based multi-agent system applied to test generation, Computers & Education, v49, 1205-1223.
SHIH, J.L., SHIH, B.J., SHIH, C.C., SU, H.Y. and CHUANG, C.W., 2010. The influence of collaboration styles to children''s cognitive performance in digital problem-solving game "William Adventure": A comparative case study, Computers & Education, 1-12.
SPINELLS, D., ZAHARIAS, P. and VRECHOPOULOS, A., 2007. Coping with plagiarism and grading load: randomized programming assignments and reflective grading. Computer Applications in Engineering Education, v15.2, 113-123.
UENO, H., 1999. A generalized knowledge-based approach to comprehend Pascal and C program. IEICE TRANSACTIONS on Information and Systems, Vol.E83-D, No.4, 591-598.
VARSAVSKY, C., 2004. Can online weekly quizzes contribute to learning in mathematics? In: Proceedings of the 9th Asian Technology Conference in Mathematics, 2004, Singapore.
WANG, H.C. and HSU. C.W., 2006. Teaching-Material Design Center: An ontology-based system for customizing reusable e-materials, Computers & Education, v46, 458-470.
WANG, H.H. and BOUKAMP, F., 2009. Ontology-based job hazard analysis support, In: Proceedings of the 2009 ASCE International Workshop on Computing in Civil Engineering, 2009, Austion, Texas.