http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43786
Transforming fuzzy description logics into classical description logics (Contributo in atti di convegno)
- Type
- Label
- Transforming fuzzy description logics into classical description logics (Contributo in atti di convegno) (literal)
- Anno
- 2004-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1007/978-3-540-30227-8_33 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://link.springer.com/chapter/10.1007%2F978-3-540-30227-8_33 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- 9th European Conference of Logics in Artificial Intelligence (JELIA-05) (Lisbon, Portugal, September, 2004). José Júlio Alferes, João Leite (eds.), Springer Verlag, 2004. (literal)
- Note
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Titolo
- Transforming fuzzy description logics into classical description logics (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-3-540-23242-1 (literal)
- 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. (literal)
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto
