Boundary-based module extraction in description logics

doi:10.3778/j.issn.1002-8331.2009.05.011

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (5): 36-38.DOI: 10.3778/j.issn.1002-8331.2009.05.011

• 研究、探讨 • Previous Articles Next Articles

Boundary-based module extraction in description logics

NIU Yue¹,LIU Qiu-rang²,FANG Jun³

1.Department of Software and Microelectronics，Northwestern Polytechnical University，Xi’an 710072，China
2.Department of Computer Science，Northwestern Polytechnical University，Xi’an 710072，China
3.Department of Automation，Northwestern Polytechnical University，Xi’an 710072，China

Received:2008-08-18 Revised:2008-10-30 Online:2009-02-11 Published:2009-02-11
Contact: NIU Yue

描述逻辑中基于边界的模块提取方法

牛悦¹,刘秋让²,方俊³

1.西北工业大学软件与微电子学院，西安 710072
2.西北工业大学计算机学院，西安 710072
3.西北工业大学自动化学院，西安 710072

通讯作者: 牛悦

Abstract

Abstract: Modularization is a very important technique that bears good promises of effective towards scalability in ontology reasoning as the complexity of reasoning is relevant to the volume of knowledge base.Driven by the great benefits，a novel module extraction method for reasoning tasks is proposed in this paper，boundary-based module is calculated in the method by analyzing the relationship between axioms and boundary for interpretation of symbols.The theory foundation for boundary-based module is established and it’s correct for reasoning task is proved.By comparing with the optimal module and signature-based module on realistic ontologies，boundary-based module is very close to the optimal module and suitable for optimizing ontology reasoning.

Key words: module extraction, boundary, reasoning, interpretation, description logics

摘要： 模块化是优化本体推理的一种有效的手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础，并证明了其模块的正确性。在评估实验中，通过与最优模块和符号模块进行比较，基于边界的模块和最优模块大小很接近，非常适合对推理进行优化。

关键词: 模块提取, 边界, 推理, 解释, 描述逻辑

NIU Yue¹,LIU Qiu-rang²,FANG Jun³. Boundary-based module extraction in description logics[J]. Computer Engineering and Applications, 2009, 45(5): 36-38.

牛悦¹,刘秋让²,方俊³. 描述逻辑中基于边界的模块提取方法[J]. 计算机工程与应用, 2009, 45(5): 36-38.

[1]	WANG Fengqin, KE Hengjin. Application of CNN and Its Analysis in Depression Identification [J]. Computer Engineering and Applications, 2021, 57(5): 245-250.
[2]	WANG Yuncheng, ZHOU Chunhua, CHEN Chuxiang, WU Shanming, CHEN Bing. Extensible Intelligent Scheduling System Based on Two Fork Knowledge Tree Reasoning [J]. Computer Engineering and Applications, 2021, 57(5): 251-257.
[3]	WANG Qingrong, MA Chenkun. Forecast of Emergency Supplies for Case Consumption Reasoning [J]. Computer Engineering and Applications, 2021, 57(22): 281-287.
[4]	MA Chengqi, LI Xuehua, ZHANG Lanjie, XIANG Wei. Anti-oclusion Monocular Depth Estimation Algorithm [J]. Computer Engineering and Applications, 2021, 57(2): 217-222.
[5]	SONG Haonan, ZHAO Gang, WANG Xingfen. Knowledge Reasoning Method Combining Knowledge Representation with Deep Reinforcement Learning [J]. Computer Engineering and Applications, 2021, 57(19): 189-197.
[6]	LI Jinhai, HE Youshi, ZHANG Peng. Research of Group Recommendation Based on Contextual Semantics Reasoning and Social Network [J]. Computer Engineering and Applications, 2021, 57(18): 163-171.
[7]	XU Jingzhong, MA Lina. Automatic Boundary Extraction from Building Point Clouds Based on Virtual Grids [J]. Computer Engineering and Applications, 2021, 57(10): 181-186.
[8]	CHEN Guang, JIANG Tonghai, WANG Meng, TANG Xinyu, JI Wenfei. Custom SWRL Knowledge Graph Completion Reasoning Built-ins Implementation Method [J]. Computer Engineering and Applications, 2021, 57(1): 261-270.
[9]	WANG Hong, LIN Haizhou, LU Linyan. Knowledge Graph Inference Algorithm Based on Att_GCN Model [J]. Computer Engineering and Applications, 2020, 56(9): 183-189.
[10]	ZHU Ming, ZHAO Xingyun. Interpolation for Vacant Segments of Segment Maxima Gamut Boundary Descriptor [J]. Computer Engineering and Applications, 2020, 56(8): 192-198.
[11]	FENG Xuegang, ZHOU Dake, YANG Xin. Margin-Maximized Correlation-Filter Based Tracking Method Advanced by Mask Mechanism [J]. Computer Engineering and Applications, 2020, 56(6): 153-158.
[12]	WANG Nan, XU Daoyun. Left Ventricular Image Segmentation Algorithm for Weak Edge Information [J]. Computer Engineering and Applications, 2020, 56(23): 211-219.
[13]	TAN Zhenghua, DAI Liping, WEN Yang, LI Guotai. Decision Tree Construction Method Based on Reduction Attribute and Threshold Segmentation [J]. Computer Engineering and Applications, 2020, 56(22): 160-165.
[14]	WANG Hui, LI Yingshun. Dynamic Fault Diagnosis Algorithm for Improved Evidence Update Rules [J]. Computer Engineering and Applications, 2020, 56(2): 261-265.
[15]	MENG Dongxia, LI Yujian. Oversampling Method for Unbalanced Data Based on Information of Characteristic Boundary [J]. Computer Engineering and Applications, 2020, 56(14): 156-160.

Boundary-based module extraction in description logics

描述逻辑中基于边界的模块提取方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics