Transforming fuzzy description logics into classical description logics (2004)
| Venue: | In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), number 3229 in Lecture Notes in Computer Science |
| Citations: | 38 - 14 self |
BibTeX
@INPROCEEDINGS{Straccia04transformingfuzzy,
author = {Umberto Straccia and Isti-cnr Via G. Moruzzi},
title = {Transforming fuzzy description logics into classical description logics},
booktitle = {In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), number 3229 in Lecture Notes in Computer Science},
year = {2004},
pages = {385--399},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the considerable practical consequence that reasoning in fuzzy DLs is feasible using already existing DL systems. 1
