An Ontology for Knowledge Representation and Applications

Ontology is a terminology which is used in artificial intelligence with different meanings. Ontology researching has an important role in computer science and practical applications, especially distributed knowledge systems. In this paper we present an ontology which is called Computational Object Knowledge Base Ontology. It has been used in designing some knowledge base systems for solving problems such as the system that supports studying knowledge and solving analytic geometry problems, the program for studying and solving problems in Plane Geometry, the knowledge system in linear algebra.


[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, IBM Systems Journal, Vol 43, No 3,
[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 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, 16 th 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. NewYork:
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.