Two reasoning methods for extended fuzzy ALCH

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3761 LNCS, Issue , 2005, Pages 1588-1595

  Kang, Dazhou ^a,b   Lu, Jianjiang ^a,b,c   Xu, Baowen ^a,b,d   Li, Yanhui ^a,b   He, Yanxiang ^d  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

^c PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^d WUHAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; POLYNOMIAL APPROXIMATION; SEMANTICS;

FUZZY EXTENSION; SEMANTIC CONSISTENCY;

FUZZY CONTROL;

EID: 33646680797     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575801_40     Document Type: Conference Paper

References (5)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.(Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
2. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, no.14 (2001): 137-166
3. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proceedings of JELIA 2004, Lisbon, (2004) 385-399
4. Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica, Vol. 69, no. 1 (2001): 5-40
5. Meghini, C., Sebastiani, F., Straccia, U.: Reasoning about the form and content for multimedia objects. In: Proceedings of AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio, California (1997) 89-94