Some complexity results on fuzzy description logics

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

Volumn 2955 LNAI, Issue , 2005, Pages 19-24

  Bonatti, Piero A ^a   Tettamanzi, Andrea G B ^b  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FORMAL LOGIC; PROBLEM SOLVING;

CLASSICAL ACC LANGUAGE; FUZZY DESCRIPTION LOGIC (DL); SUBSUMPTION PROBLEM;

FUZZY SETS;

EID: 33744802656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11542322_4     Document Type: Conference Paper

References (4)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook: Theory, implementation and applications. Cambridge, 2003.
2. D. Butnariu, E. P. Klement, and S. Zafrany. On triangular norm-based prepositional fuzzy logics. Fuzzy Sets and Systems, 69:241-255, 1995.
3. Mirko Navara. Satisfiability in fuzzy logics. Neural Networks World, 10(5):845-858, 2000.
4. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.