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,
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 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.
[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,
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 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.
@article{"International Journal of Information, Control and Computer Sciences:52133", author = "Nhon Do", title = "An Ontology for Knowledge Representation and Applications", abstract = "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.", keywords = "Artificial intelligence, knowledge representation,knowledge base system, ontology.", volume = "2", number = "6", pages = "1855-9", }