Reasoning for a fuzzy description logic with comparison expressions

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 111-118

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

^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

CUT CONCEPT; DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY KNOWLEDGE; FUZZY MEMBERSHIP; TABLEAU ALGORITHM;

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DATA DESCRIPTION;

EID: 77249095145     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. Petr Hajek. Making fuzzy description logic more general. 2005.
3. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, and Peng Wang. A family of extended fuzzy description logics. In Proceedings of the IEEE 29th Annual International Computer Software and Applications Conference, pages 221-226, Edinburgh, Scotland, 2005.
4. Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, Jeff Z. Pan, and Ian Horrocks. The fuzzy description logic f-shin. In Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland, 2005.
5. Umberto Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
6. Umberto Straccia. Transforming fuzzy description logics into classical description logics. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence, number 3229, pages 385-399, Lisbon, Portugal, 2004.