Document - Transforming fuzzy description logics into classical description logics

2004

Conference article Open Access

Transforming fuzzy description logics into classical description logics

Straccia U.

Description Logics Fuzzy logics

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.

Source: Logics in Artificial Intelligence, 9th European Conference, pp. 385–399, Lisbon, Portugal, September, 2004

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:43786,
	title = {Transforming fuzzy description logics into classical description logics},
	author = {Straccia U.},
	doi = {10.1007/978-3-540-30227-8_33},
	booktitle = {Logics in Artificial Intelligence, 9th European Conference, pp. 385–399, Lisbon, Portugal, September, 2004},
	year = {2004}
}