A fuzzy extension of description logic script A sign ℒ script C sign script H sign

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

Volumn 3789 LNAI, Issue , 2005, Pages 152-161

  Li, Yanhui ^a,b   Lu, Jianjiang ^a,b,c   Xu, Baowen ^a,b   Kang, Dazhou ^a,b   Jiang, Jixiang ^a,b  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

^c PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FUZZY SETS; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

ATOMIC ROLES; DESCRIPTION LOGIC; FUZZY EXTENSIONS; NORMATIVE THEORY;

FORMAL LOGIC;

EID: 33646821367     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11579427_16     Document Type: Conference Paper

References (8)

1. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, no.14 (2001) 137-166
2. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lisbon, (2004) 385-399
3. Zadeh L A.: Fuzzy sets. Information and Control, vol.8 no.3 (1965) 338-353
4. 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)
5. Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica, Vol. 69, no. 1 (2001) 5-40
6. Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence, no. 34 (1988) 371-383
7. Calvanese D. Reasoning with inclusion axioms in description logics: Algorithms and complexity. In: Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), Budapest, (1996) 303-307
8. Meghini, C., Sebastiani, P., 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