On computational complexity of the extended fuzzy description logic with numerical restriction

Ruan Jian Xue Bao/Journal of Software

Volumn 17, Issue 5, 2006, Pages 968-975

  Li, Yan Hui ^a,b   Xu, Bao Wen ^a,b   Lu, Jian Jiang ^a,b,c   Kang, Da Zhou ^a,b  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

^c PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Description logic; Fuzzy; Knowledge representation; Numerical restriction; Semantic Web

Indexed keywords

KNOWLEDGE REPRESENTATION; POLYNOMIALS; SEMANTICS;

ATTRIBUTIVE CONCEPT DESCRIPTION LANGUAGE (ALCN); CONSTRAINT PROPAGATION; DESCRIPTION LOGIC; FUZZY EXTENSION; NUMERICAL RESTRICTION; POLYNOMIAL SPACE (PSPACE); POLYNOMIAL TIME REDUCTION; REASONING ALGORITHMS; SEMANTIC WEB; TABLEAU ALGORITHM;

COMPUTATIONAL COMPLEXITY;

EID: 33745748953     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1021/ja056609n     Document Type: Article

References (10)

1. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003.
2. Meghini C, Sebastiani F, Straccia U. Reasoning about the form and content for multimedia objects. In: Proc. of the AAAI'97 Spring Symp. on Intelligent Integration and Use of Text, Image, Video and Audio. California, 1997. 89-94. http://gaia.isti.cnr.it/-straccia/download/papers/AAAI97/AAAI97.pdf
3. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 2001,14:137-166.
4. Li YH, Xu BW, Lu JJ, Kang DZ, Wang P. Extended fuzzy description logic ALCN. Lecture Notes in Artificial Intelligence, 2005,3684:896-902.
5. Shi ZZ, Dong MK, Jiang YC, Zhang HJ. Logic base of Semantic Web. Science in China (Series E), 2004,34(10):1123-1138 (in Chinese with English abstract).
6. Dong MK, Zhang HJ, Shi ZZ. An agent model based on dynamic description logic. Journal of Computer Research and Development, 2004,41(5):780-786 (in Chinese with English abstract).
7. Dong MK, Jiang YC, Shi ZZ. A description logic with default Reasoning. Chinese Journal of Computers, 2003,26(6):729-736 (in Chinese with English abstract).
8. Shi ZZ, Jiang YC, Zhang HJ, Dong MK. Agent service matchmaking based on description logic. Chinese Journal of Computers, 2004,27(5):625-634 (in Chinese with English abstract).
9. Baader F, Sattler U. An overview of tableau algorithms for description logics. Studia Logica, 2001,69(1):5-40.
10. Baader F, Sattler U. Expressive number restrictions in description logics. Journal of Logic and Computation, 1999,9(3):319-350.