Finite lattices do not make reasoning in ALCI harder

CEUR Workshop Proceedings

Volumn 778, Issue , 2011, Pages 51-62

  Borgwardt, Stefan ^a   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY BOUNDS; FINITE LATTICES; PSPACE-COMPLETE; RESIDUATED LATTICES; SATISFIABILITY;

FUZZY LOGIC;

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

References (19)

1. F. Baader, J. Hladik, and R. Peñaloza. Automata can show PSPACE results for description logics. Inform. Comput., 206(9-10):1045-1056, 2008.
2. F. Baader and R. Peñaloza. Are fuzzy description logics with general concept inclusion axioms decidable? In Proc. FuzzIEEE'11, pages 1735-1742. IEEE, 2011.
3. F. Baader and R. Peñaloza. On the undecidability of fuzzy description logics with GCIs and product t-norm. In Proc. FroCoS'11, pages 55-70. Springer-Verlag, 2011.
4. F. Bobillo, F. Bou, and U. Straccia. On the failure of the finite model property in some fuzzy description logics. Fuzzy Set. Syst., 172(1):1-12, 2011.
5. F. Bobillo and U. Straccia. A fuzzy description logic with product t-norm. In Proc. Fuzz-IEEE'07, pages 1-6. IEEE, 2007.
6. F. Bobillo and U. Straccia. Fuzzy description logics with general t-norms and datatypes. Fuzzy Set. Syst., 160(23):3382-3402, 2009.
7. F. Bobillo and U. Straccia. Reasoning with the finitely many-valued Lukasiewicz fuzzy description logic SROIQ. Inf. Sci., 181(4):758-778, 2011.
8. S. Borgwardt and R. Peñaloza. Description logics over lattices with multi-valued ontologies. In Proc. IJCAI'11, pages 768-773. AAAI Press, 2011.
9. S. Borgwardt and R. Peñaloza. Fuzzy ontologies over lattices with t-norms. In Proc. DL'11, pages 70-80. CEUR Workshop Proceedings, 2011.
10. F. Bou, M. Cerami, and F. Esteva. Finite-valued Lukasiewicz modal logic is PSPACE-complete. In Proc. IJCAI'11, pages 774-779. AAAI Press, 2011.
11. M. Cerami and U. Straccia. On the undecidability of fuzzy description logics with GCIs with Lukasiewicz t-norm. 2011. arXiv:1107.4212v3 [cs.LO].
12. G. De Cooman and E. E. Kerre. Order norms on bounded partially ordered sets. J. Fuzzy Math, 2:281-310, 1993.
13. G. Grätzer. General Lattice Theory, Second Edition. Birkhäuser Verlag, 2003.
14. P. Hájek. Making fuzzy description logic more general. FSS, 154(1):1-15, 2005.
15. T. Lukasiewicz and U. Straccia. Managing uncertainty and vagueness in description logics for the semantic web. J. Web Semant., 6(4):291-308, 2008.
16. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. IJCAI'91, pages 466-471. Morgan Kaufmann, 1991.
17. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artif. Intell., 48(1):1-26, 1991.
18. U. Straccia. Description logics over lattices. Int. J. Unc. Fuzz., 14(1):1-16, 2006.
19. M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. Comput. Syst. Sci., 32(2):183-221, 1986.