[1] Jiang Zhihua, Jiang Yunfei,. Method of creating ontologies for Prolog clauses [J]. Journal of Southeast University (English Edition), 2006, 22 (3): 357-360. [doi:10.3969/j.issn.1003-7985.2006.03.014]

Copy

Method of creating ontologies for Prolog clauses()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

22

Issue:

2006 3

Page:

357-360

Research Field:

Automation

Publishing date:

2006-09-30

Info

Title:

Method of creating ontologies for Prolog clauses

Author(s):

Jiang Zhihua¹;  2;  Jiang Yunfei¹

¹School of Information Science and Technology, Sun Yat-Sen University, Guangzhou 510275, China
²Department of Computer Science, Jinan University, Guangzhou 510632, China

Keywords:

ontology;  clause;  conceptual graph;  Prolog+CG

PACS:

TP18

DOI:

10.3969/j.issn.1003-7985.2006.03.014

Abstract:

A method is proposed to build an ontology in the form of a conceptual graph for Prolog clauses, so that the Prolog reasoning engine can differentiate clauses semantically to some degree.The concept model of a clauses ontology is composed of predicate parameters and head sub-goals, and these sub-goals appear in the head of the rule body and precede any predicate calls.In the proposed method, a Prolog program can be transformed into a Prolog+CG program that includes a clauses ontology.Some experiments show that, with a clauses ontology, some clauses which do not match current goals are not considered early enough, and, therefore, the size of the goal solution tree may be reduced.By the capability of conceptual graph, a clauses ontology makes the semantics of the Prolog program more clear and readable, and sometimes it speeds up the solution process obviously.

References:

[1] Li Shanping, Hu Yujin.Overview of researches on ontology [J]. Journal of Computer Research and Development, 2004, 41(7):1041-1052.(in Chinese)
[2] Liu Jin, He Keqing, Li Bing.Researches on logical semantic analyses of web ontology languages [J].Computer Engineering, 2005, 31(9):7-10.(in Chinese)
[3] Uschold M, Gruninger M.Ontologies:principles, methods, and applications [J].Knowledge Engineering Review, 1996, 11(2):93-155.
[4] Fernandez M.Overview and analysis of methodologies for building ontologies[J].Knowledge Engineering Review, 2002, 17(2):129-156.
[5] Bisson G, Nedellec C, Canamero L.Designing clustering methods for ontology building[A].In:Proceedings of the ECAI, Ontology Learning Workshop[C].Berlin, Germany, 2000.13-19.
[6] Fargues J, Landau M C.Conceptual graphs for semantics and knowledge processing[J].IBM Journal of Research and Development, 1986, 30(1):70-79.
[7] Kabbaj A, Janta-Polczynski M.From PROLOG++to PROLOG+CG:a CG object-oriented logic programming language[A].In:Ganter B, Mineau G W, eds.Proceedings of ICCS’00, LNAI[C].Springer, 2000, 1867:540-554.

Memo

Memo:

Biographies: Jiang Zhihua(1978—), female, graduate, lecturer, jnujzh@163.com;Jiang Yunfei(1945—), male, professor, lncsri05@zsu.edu.cn.

Common functions