N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)

Wang Songxin; Wang Fei; Zhou Shuigeng; Zhou Aoying

Journal of Computer Research and Development > 2005 > 42(4): 570-575.

Wang Songxin, Wang Fei, Zhou Shuigeng, Zhou Aoying. N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)[J]. Journal of Computer Research and Development, 2005, 42(4): 570-575.

Citation:

Wang Songxin, Wang Fei, Zhou Shuigeng, Zhou Aoying. N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)[J]. Journal of Computer Research and Development, 2005, 42(4): 570-575.

Citation:

Wang Songxin, Wang Fei, Zhou Shuigeng, Zhou Aoying. N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)[J]. Journal of Computer Research and Development, 2005, 42(4): 570-575.

PDF (377 KB)

N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)

1(Department of Computer Science and Technology, Shanghai University of Finance & Ecnomics, Shanghai 200433) 2(Department of Computer Science and Engineering, Fudan University, Shanghai 200433)

More Information

Published Date: April 14, 2005

Graphical Abstract

Abstract

Abstract

Ontologies play a central role in the development of the semantic web, as they p rovide precise definitions of shared terms in web resources. One important web o ntology language is DAML+OIL. It has a formal semantics and a reasoning support through a mapping to the expressive description logic SHOQ(D) with the addition of inverse roles. One shortcoming of the SHOQ(D) is that the incomplete knowledg e frequently emerging in the practice cannot be expressed by SHOQ(D). In this pa per, a nonmonotonic extension of the SHOQ(D), called N-SHOQ(D), is presented to allow for dealing with incomplete knowledge in the semantic web. The syntax and semantic of N-SHOQ(D) are defined and its properties are studied in detail. The N-SHOQ(D) forms a formal underpinning for the nonmonotonic extension of the DAML +OIL language.
- semantic web,
- DAML+OIL,
- description logic,
- nonmonotonic reasoning

FullText(HTML)

References (0)

[1]	Nie Dengguo, Kang Wangqiang, Cao Fasheng, Wang Ju. Containing Reasoning and Its Conservative Extensionsin Description Logic FL0[J]. Journal of Computer Research and Development, 2015, 52(1): 221-228. DOI: 10.7544/issn1000-1239.2015.20131135
[2]	Zhang Wei, Zeng Liang, Zhang Hui, Li Sikun. Collaboration in Digital Games: An Approach to the Description Logic of Tasks[J]. Journal of Computer Research and Development, 2012, 49(7): 1507-1513.
[3]	Wang Zhuxiao, Hu Hong, Chen Limin, Shi Zhongzhi. Parallel Computation Techniques for Dynamic Description Logics Reasoning[J]. Journal of Computer Research and Development, 2011, 48(12): 2317-2325.
[4]	Zhang Wei, Hou Jinhong, Cao Fasheng, Wang Ju, Jiang Yuncheng. Computing the Least Common Subsumer in Description Logic FLEN[J]. Journal of Computer Research and Development, 2010, 47(6): 1053-1059.
[5]	Wang Hailong, Ma Zongmin, Yin Junfu, and Cheng Jingwei. FRESG：A Kind of Fuzzy Description Logic Reasoner[J]. Journal of Computer Research and Development, 2009, 46(9): 1488-1497.
[6]	Jiang Yuncheng, Tang Suqin, Wang Ju, Zhou Shengming. Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions[J]. Journal of Computer Research and Development, 2009, 46(6): 979-987.
[7]	Jiang Yuncheng, Wang Ju, Zhou Shengming, Tang Yong. Hybrid Reasoning of Terminological Cycles in Description Logic εL[J]. Journal of Computer Research and Development, 2009, 46(1): 15-22.
[8]	Jiang Yuncheng, Tang Yong, Wang Ju, Shen Yuming. A Tableaux Decision Procedure for Fuzzy Description Logic FALNUI[J]. Journal of Computer Research and Development, 2007, 44(8): 1309-1316.
[9]	Zhang Hui, Li Sikun. Interaction-Oriented Ability Specification and Reasoning[J]. Journal of Computer Research and Development, 2006, 43(8): 1439-1444.
[10]	Zhang Weiming and Song Junfeng. Study on Domain Ontology Representation, Reasoning and Integration for the Semantic Web[J]. Journal of Computer Research and Development, 2006, 43(1): 101-108.