本体与规则整合的推理方法研究及设计

吉林大学学报(工学版) ›› 2009, Vol. 39 ›› Issue (05): 1297-1302.

• • Previous Articles Next Articles

Research and design of reasoning algorithm with ontologies and rules

YE Yu-xin^{1, 2, 3},OUYANG Dan-tong^{1, 2},LING Ji^{1, 2},ZHANG Yong-gang^{1, 2}

1.College of Computer Science and Technology, Jilin University, Changchun 130012, China； 2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012, China； 3.Digital Enterprise Research Institute, National University of Ireland, Galway, Ireland

Received:2008-05-16 Online:2009-09-01 Published:2009-09-01

Abstract

Abstract:

The motivation to integrate ontology layer with rule layer is to improve the features of knowledge presentation formalism, named the expressive power and the reasoning procedure of semantic web. Also the integration is not just simply unifying conclusions derived from each layer. In addition, when the expressive power is increased, problems will arise from reasoning. In this paper, we introduce an integrated knowledge representation formalism and an algorithm for reasoning on this formalism. A varietal approach, named ModelTableau, is proposed, which is based on tableau calculus. This approach can be used to deal with expressive representation and complex reasoning under combing ontologies and rules. Furthermore, the reasoning algorithm is given that combines the ModelTableau approach and the Topdown procedure based on SLDResolution. The soundness of this algorithm is proved and a prototype system is provided. The results show that both the expressive power and reasoning procedure are improved.

Key words: artificial intelligence, knowledge engineering, semantic Web, reasoning algorithm, ontologies, rules

CLC Number:

TP182

YE Yo-Xin, OU Yang-Dan-Tong, LING Ji, ZHANG Yong-Gang. Research and design of reasoning algorithm with ontologies and rules[J].吉林大学学报(工学版), 2009, 39(05): 1297-1302.

References

Related Articles 15

[1]	DONG Sa, LIU Da-you, OUYANG Ruo-chuan, ZHU Yun-gang, LI Li-na. Logistic regression classification in networked data with heterophily based on second-order Markov assumption [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1571-1577.
[2]	GU Hai-jun, TIAN Ya-qian, CUI Ying. Intelligent interactive agent for home service [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1578-1585.
[3]	WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Measurement of graph similarity based on vertical dimension sequence dynamic time warping method [J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4]	ZHANG Hao, ZHAN Meng-ping, GUO Liu-xiang, LI Zhi, LIU Yuan-ning, ZHANG Chun-he, CHANG Hao-wu, WANG Zhi-qiang. Human exogenous plant miRNA cross-kingdom regulatory modeling based on high-throughout data [J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5]	HUANG Lan, JI Lin-ying, YAO Gang, ZHAI Rui-feng, BAI Tian. Construction of disease-symptom semantic net for misdiagnosis prompt [J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6]	LI Xiong-fei, FENG Ting-ting, LUO Shi, ZHANG Xiao-li. Automatic music composition algorithm based on recurrent neural network [J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7]	LIU Jie, ZHANG Ping, GAO Wan-fu. Feature selection method based on conditional relevance [J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8]	WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Heuristic algorithm of all common subsequences of multiple sequences for measuring multiple graphs similarity [J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9]	YANG Xin, XIA Si-jun, LIU Dong-xue, FEI Shu-min, HU Yin-ji. Target tracking based on improved accelerated gradient under tracking-learning-detection framework [J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10]	LIU Xue-juan, YUAN Jia-bin, XU Juan, DUAN Bo-jia. Quantum k-means algorithm [J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11]	QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12]	LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13]	SHAO Ke-yong, CHEN Feng, WANG Ting-ting, WANG Ji-chi, ZHOU Li-peng. Full state based adaptive control of fractional order chaotic system without equilibrium point [J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14]	WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15]	MA Miao, LI Yi-bin. Multi-level image sequences and convolutional neural networks based human action recognition method [J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 0

No Suggested Reading articles found!