|Table of Contents|

[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()
一种构造Prolog程序子句本体的方法
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
一种构造Prolog程序子句本体的方法
Author(s):
Jiang Zhihua1;  2;  Jiang Yunfei1
1School of Information Science and Technology, Sun Yat-Sen University, Guangzhou 510275, China
2Department of Computer Science, Jinan University, Guangzhou 510632, China
蒋志华1;  2;  姜云飞1
1中山大学信息科学与技术学院, 广州 510275; 2暨南大学计算机系, 广州 510632
Keywords:
ontology;  clause;  conceptual graph;  Prolog+CG
本体;  子句;  概念图;  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.
为了使Prolog推理引擎可以从一定程度的语义上来区分子句, 通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立, 而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog+CG程序.实验表明, 通过对Prolog子句建立本体, 可以尽早地去除与当前目标明显不匹配的子句, 从而使得目标求解树的规模减小.在概念图的描述形式下, 子句本体使得Prolog程序的语义更清晰可读, 在某些情况下能明显加快程序的求解过程.

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.
Last Update: 2006-09-20