On the undecidability of fuzzy description logics with GCIs and product T-norm

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

Volumn 6989 LNAI, Issue , 2011, Pages 55-70

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

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS T-NORMS; DESCRIPTION LOGIC; FINITE MODEL PROPERTY; FUZZY DESCRIPTION LOGIC; T - NORM; TABLEAU ALGORITHM; UNDECIDABILITY;

ALGORITHMS; DATA DESCRIPTION; FORMAL LANGUAGES; MATHEMATICAL OPERATORS;

FUZZY LOGIC;

EID: 80054029969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24364-6_5     Document Type: Conference Paper

References (26)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Baader, F., Peñaloza, R.: Are fuzzy description logics with general concept inclusion axioms decidable? In: Proc. of Fuzz-IEEE 2011, pp. 1735-1742. IEEE Press, Los Alamitos (2011)
3. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5-40 (2001)
4. Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. CoRR, abs/1003.1588 (2010)
5. Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems 172(23), 1-12 (2011)
6. Bobillo, F., Delgado, M., Gómez-Romero, J., Straccia, U.: Fuzzy description logics under Gödel semantics. Int. J. of Approx. Reas. 50(3), 494-514 (2009)
7. Bobillo, F., Straccia, U.: A fuzzy description logic with product t-norm. In: Proc. of Fuzz-IEEE 2007, pp. 1-6. IEEE, Los Alamitos (2007)
8. Bobillo, F., Straccia, U.: On qualified cardinality restrictions in fuzzy description logics under Łukasiewicz semantics. In: Proc. of IPMU 2008, pp. 1008-1015 (2008)
9. Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23), 3382-3402 (2009)
10. Bobillo, F., Straccia, U.: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ. Information Sciences 181, 758-778 (2011)
11. Borgwardt, S., Peñaloza, R.: Description logics over lattices with multi-valued ontologies. In: Proc. of IJCAI 2011 (to appear, 2011)
12. Borgwardt, S., Peñaloza, R.: Fuzzy ontologies over lattices with t-norms. In: Proc. of DL 2011, Barcelona, Spain. CEUR-WS, vol. 745 (2011)
13. Cerami, M., Esteva, F., Bou, F.: Decidability of a description logic over infinite-valued product logic. In: Proc. of KR 2010. AAAI Press, Menlo Park (2010)
14. García-Cerdaña, A., Armengol, E., Esteva, F.: Fuzzy description logics and t-norm based fuzzy logics. Int. J. of Approx. Reas. 51, 632-655 (2010)
15. Hájek, P.: Metamathematics of Fuzzy Logic Trends in Logic. Springer, Heidelberg (2001)
16. Hájek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1), 1-15 (2005)
17. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7-26 (2003)
18. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4), 291-308 (2008)
19. Molitor, R., Tresp, C.B.: Extending description logics to vague knowledge in medicine. In: Szczepaniak, P., Lisboa, P., Tsumoto, S. (eds.) Fuzzy Systems in Medicine. Studies in Fuzziness and Soft Computing, vol. 41, pp. 617-635. Springer, Heidelberg (2000)
20. Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics 65, 117-143 (1957)
21. Post, E.: A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society 52, 264-268 (1946)
22. Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: The fuzzy description logic f-script Sscript Hscript Iscript N. In: Proc. of URSW 2005, pp. 67-76 (2005)
23. Straccia, U.: Reasoning within fuzzy description logics. JAIR 14, 137-166 (2001)
24. Straccia, U.: Description logics with fuzzy concrete domains. In: Proc. of UAI 2005, pp. 559-567. AUAI Press (2005)
25. Straccia, U., Bobillo, F.: Mixed integer programming, general concept inclusions and fuzzy description logics. In: Proc. of EUSFLAT 2007, pp. 213-220. Universitas Ostraviensis (2007)
26. Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc. of ECAI 1998, pp. 361-365. J. Wiley and Sons, Chichester (1998)