Design Method for Knowledge Base Systems in Education Using COKB-ONT
Nowadays e-Learning is more popular, in Vietnam
especially. In e-learning, materials for studying are very important.
It is necessary to design the knowledge base systems and expert
systems which support for searching, querying, solving of
problems. The ontology, which was called Computational Object
Knowledge Base Ontology (COB-ONT), is a useful tool for
designing knowledge base systems in practice. In this paper, a
design method for knowledge base systems in education using
COKB-ONT will be presented. We also present the design of a
knowledge base system that supports studying knowledge and
solving problems in higher mathematics.
[1] L. Stojanovic, J. Schneider, A. Maedche, S. Libischer, R. Suder, T.
Lumpp, A. Abecker, G. Breiter, J. Dinger, The Role of Ontologies in
Autonomic Computing Systems, TBM Systems Journal, Vol 43, No 3,
2004.
[2] Stuart Russell & Peter Norvig, Artificial Intelligence - A modern
approach (second edition), Prentice Hall, 2003.
[3] John F. Sowa. Knowledge Representation: Logical, Philosophical and
Computational Foundations, Brooks/Cole, 2000.
[4] George F. Luger & William A Stubblefield, Artificial Intelligence,
Addison Wesley Longman, Inc. 1998.
[5] Gruber, T. R., Toward Principles for the Design of Ontologies Used
for Knowledge Sharing. International Journal Human-Computer
Studies, 43(5-6):907-928, 1995.
[6] Do Van Nhon, A Program for studying and Solving of problems in
Plane Geometry, Proceedings of International Conference on Artificial
Intelligence 2000, Las Vegas, USA, 2000, pp. 1441-1447.
[7] Do Van Nhon, A system that supports studying knowledge and solving
of analytic geometry problems, 16th World Computer Congress 2000,
Proceedings of Conference on Education Uses of Information and
Communication Technologies, Beijing, China, 2000, pp. 236-239.
[8] Asunci├│n G├│mez-Pérez & Mariano Férnandez-L├│pez & Oscar Corcho,
Ontological Engineering. Springer-Verlag, 2004.
[9] Chitta Baral, Knowledge Representation, Reasoning and Declarative
Problem Solving, Cambridge University Press, 2003.
[10] Guarino, N. Formal Ontology, Conceptual Analysis and Knowledge
Representation, International Journal of Human-Computer Studies,
43(5-6):625-640, 1995.
[11] Wen-tsun Wu, Mechanical Theorem Proving in Geometries. Springer-
Verlag, 1994.
[12] Chou, S.C. & Gao, X.S. & Zhang, J.Z. Machine Proofs in Geometry.
Singapore: Utopia Press, 1994.
[13] Pfalzgraf, J. & Wang, D. Automated Practical Reasoning. New
York: Springer-Verlag, 1995.
[14] Lakemeyer, G. & Nebel, B. Foundations of Knowledge representation
and Reasoning. Berlin Heidelberg: Springer-Verlag, 1994.
[15] Berge, J.M. & Levia, O. & Rouillard, J. Object-Oriented Modeling.
Netherlands: Kluwer Academic Publishers, 1996.
[16] Nhon Do, An ontology for knowledge representation And Applications.
Waset, International Conference on Data, Information and Knowledge
Management, Singapore, 2008.
[1] L. Stojanovic, J. Schneider, A. Maedche, S. Libischer, R. Suder, T.
Lumpp, A. Abecker, G. Breiter, J. Dinger, The Role of Ontologies in
Autonomic Computing Systems, TBM Systems Journal, Vol 43, No 3,
2004.
[2] Stuart Russell & Peter Norvig, Artificial Intelligence - A modern
approach (second edition), Prentice Hall, 2003.
[3] John F. Sowa. Knowledge Representation: Logical, Philosophical and
Computational Foundations, Brooks/Cole, 2000.
[4] George F. Luger & William A Stubblefield, Artificial Intelligence,
Addison Wesley Longman, Inc. 1998.
[5] Gruber, T. R., Toward Principles for the Design of Ontologies Used
for Knowledge Sharing. International Journal Human-Computer
Studies, 43(5-6):907-928, 1995.
[6] Do Van Nhon, A Program for studying and Solving of problems in
Plane Geometry, Proceedings of International Conference on Artificial
Intelligence 2000, Las Vegas, USA, 2000, pp. 1441-1447.
[7] Do Van Nhon, A system that supports studying knowledge and solving
of analytic geometry problems, 16th World Computer Congress 2000,
Proceedings of Conference on Education Uses of Information and
Communication Technologies, Beijing, China, 2000, pp. 236-239.
[8] Asunci├│n G├│mez-Pérez & Mariano Férnandez-L├│pez & Oscar Corcho,
Ontological Engineering. Springer-Verlag, 2004.
[9] Chitta Baral, Knowledge Representation, Reasoning and Declarative
Problem Solving, Cambridge University Press, 2003.
[10] Guarino, N. Formal Ontology, Conceptual Analysis and Knowledge
Representation, International Journal of Human-Computer Studies,
43(5-6):625-640, 1995.
[11] Wen-tsun Wu, Mechanical Theorem Proving in Geometries. Springer-
Verlag, 1994.
[12] Chou, S.C. & Gao, X.S. & Zhang, J.Z. Machine Proofs in Geometry.
Singapore: Utopia Press, 1994.
[13] Pfalzgraf, J. & Wang, D. Automated Practical Reasoning. New
York: Springer-Verlag, 1995.
[14] Lakemeyer, G. & Nebel, B. Foundations of Knowledge representation
and Reasoning. Berlin Heidelberg: Springer-Verlag, 1994.
[15] Berge, J.M. & Levia, O. & Rouillard, J. Object-Oriented Modeling.
Netherlands: Kluwer Academic Publishers, 1996.
[16] Nhon Do, An ontology for knowledge representation And Applications.
Waset, International Conference on Data, Information and Knowledge
Management, Singapore, 2008.
@article{"International Journal of Information, Control and Computer Sciences:62872", author = "Nhon Do and Tuyen Trong Tran and Phan Hoai Truong", title = "Design Method for Knowledge Base Systems in Education Using COKB-ONT", abstract = "Nowadays e-Learning is more popular, in Vietnam
especially. In e-learning, materials for studying are very important.
It is necessary to design the knowledge base systems and expert
systems which support for searching, querying, solving of
problems. The ontology, which was called Computational Object
Knowledge Base Ontology (COB-ONT), is a useful tool for
designing knowledge base systems in practice. In this paper, a
design method for knowledge base systems in education using
COKB-ONT will be presented. We also present the design of a
knowledge base system that supports studying knowledge and
solving problems in higher mathematics.", keywords = "artificial intelligence, knowledge base systems,ontology, educational software.", volume = "2", number = "12", pages = "4227-7", }