GCIs Make reasoning in fuzzy DL with the Product T-norm Undecidable

CEUR Workshop Proceedings

Volumn 745, Issue , 2011, Pages 37-47

  Baader, Franz ^a   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (19)

1. F. Baader and R. Peñaloza. Are fuzzy description logics with general concept inclusion axioms decidable? In Proc. of Fuzz-IEEE 2011. IEEE, 2011. To appear.
2. F. Bobillo, F. Bou, and U. Straccia. On the failure of the finite model property in some fuzzy description logics. CoRR, abs/1003.1588, 2010.
3. F. Bobillo, F. Bou, and U. Straccia. On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems, 172(23):1-12, 2011.
4. F. Bobillo and U. Straccia. A fuzzy description logic with product t-norm. In Proc. of FUZZ-IEEE 2007, pages 1-6. IEEE, 2007.
5. F. Bobillo and U. Straccia. On qualified cardinality restrictions in fuzzy description logics under? ukasiewicz semantics. In Proc. of IPMU-08, pages 1008-1015, 2008.
6. F. Bobillo and U. Straccia. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems, 160(23):3382-3402, 2009.
7. M. Cerami, F. Esteva, and F. Bou. Decidability of a description logic over infinitevalued product logic. In Proceedings of KR 2010. AAAI Press, 2010.
8. A. García-Cerdaña, E. Armengol, and F. Esteva. Fuzzy description logics and t-norm based fuzzy logics. Int. J. of Approx. Reasoning, 51:632-655, July 2010.
9. P. Hájek. Metamathematics of Fuzzy Logic (Trends in Logic). Springer, 2001.
10. P. Hájek. Making fuzzy description logic more general. Fuzzy Sets and Systems, 154(1):1-15, 2005.
11. M. C. Laskowski and S. Malekpour. Provability in predicate product logic. Arch. Math. Log., 46(5-6):365-378, 2007.
12. T. Lukasiewicz and U. Straccia. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics, 6(4):291-308, 2008.
13. E. Post. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, 52:264-268, 1946.
14. G. Stoilos, G. B. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks. The fuzzy description logic f-SHIN. In Proc. of URSW'05, pages 67-76, 2005.
15. G. Stoilos, U. Straccia, G. B. Stamou and J. Z. Pan. General concept inclusions in fuzzy description logics. In Proc. of ECAI'06, pages 457-461, 2006.
16. U. Straccia. Reasoning within fuzzy description logics. JAIR, 14137-166, 2001.
17. U. Straccia. Description logics with fuzzy concrete domains. In Proc. of UAI'05, pages 559-567. AUAI Press, 2005.
18. U. Straccia and F. Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. In Proc. of 5th EUSFLAT Conf., pages 213-220, 2007.
19. C. Tresp and R. Molitor. A description logic for vague knowledge. In Proc. of ECAI'98, pages 361-365, Brighton, UK, 1998. J. Wiley and Sons.