Fuzzy ontologies over lattices with T-norms

CEUR Workshop Proceedings

Volumn 745, Issue , 2011, Pages 70-80

  Borgwardt, Stefan ^a   Pẽnaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (26)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2nd edition, 2007.
2. F. Baader, J. Hladik, and R. Pẽnaloza. Automata can show PSPACE results for description logics. Inform. Comput., 206(9-10):1045-1056, 2008.
3. F. Baader and R. Pẽnaloza. Are fuzzy description logics with general concept inclusion axioms decidable? In Proc. FuzzIEEE'11, 2011. To appear.
4. N. D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern Uses of Multiple-Valued Logic, pages 7-37. Reidel Publishing Company, Boston, 1977.
5. 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.
6. F. Bobillo and U. Straccia. Towards a crisp representation of fuzzy description logics under ?Lukasiewicz semantics. In Proc. ISMIS'08, volume 4994 of LNCS, pages 309-318. Springer, 2008.
7. F. Bobillo and U. Straccia. Fuzzy description logics with general t-norms and datatypes. Fuzzy Set. Syst., 160(23):3382-3402, 2009.
8. F. Bobillo and U. Straccia. Reasoning with the finitely many-valued ?Lukasiewicz fuzzy description logic SROIQ. Inf. Sci., 181(4):758-778, 2011.
9. S. Borgwardt and R. Pẽnaloza. Description logics over lattices with multi-valued ontologies. In Proc. IJCAI'11, 2011. To appear.
10. D. Calvanese, D. Carbotta, and M. Ortiz. A practical automata-based technique for reasoning in expressive description logics. In Proc. IJCAI'11, 2011. To appear.
11. M. Cerami, F. Esteva, and F. Bou. Decidability of a description logic over infinitevalued product logic. In Proc. KR 2010, pages 203-213. AAAI Press, 2010.
12. G. De Cooman and E. E. Kerre. Order norms on bounded partially ordered sets. J. Fuzzy Math, 2:281-310, 1993.
13. J. A. Goguen. L-fuzzy sets. J. Math. Anal. Appl., 18(1):145-174, 1967.
14. G. Gr̈atzer. General Lattice Theory, Second Edition. Birkḧauser Verlag, 2003.
15. P. H́ajek. Metamathematics of Fuzzy Logic (Trends in Logic). Springer, 2001.
16. P. H́ajek. Making fuzzy description logic more general. Fuzzy Set. Syst., 154(1):1-15, 2005.
17. Y. Jiang, Y. Tang, J. Wang, P. Deng, and S. Tang. Expressive fuzzy description logics over lattices. Knowl.-Based Syst., 23(2):150-161, 2010.
18. E. Post. A variant of a recursively unsolvable problem. Bulletin of the AMS, 52:264-268, 1946.
19. G. Stoilos, U. Straccia, G. Stamou, and J. Pan. General concept inclusions in fuzzy description logics. In Proc. ECAI'06, pages 457-461. IOS Press, 2006.
20. U. Straccia. Reasoning within fuzzy description logics. JAIR, 14137-166, 2001.
21. U. Straccia. Description logics over lattices. Int. J. Unc. Fuzz., 14(1):1-16, 2006.
22. U. Straccia and F. Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware Soft Computing, 14(3):247-259, 2007.
23. M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. Comput. Syst. Sci., 32(2):183-221, 1986.
24. J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proc. IJCAI'91, pages 472-477, 1991.
25. L. A. Zadeh. Fuzzy sets. Inform. Control, 8(3):338-353, 1965.
26. M. Zherui and W. Wangming. Logical operators on complete lattices. Inform. Sciences, 55(1-3):77-97, 1991.