Document - Reasoning within fuzzy description logics

2001

Journal article Open Access

Reasoning within fuzzy description logics

Straccia U.

FOS: Computer and information sciences Artificial Intelligence (cs.AI) Fuzzy description logic Artificial Intelligence Knowledge representation formalisms and methods Computer Science - Artificial Intelligence

Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e., set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like to extend their capabilities. In particular, their use in the context of Multimedia Information Retrieval (MIR) leads to the convincement that such DLs should allow the treatment of the inherent imprecision in multimedia object content representation and retrieval. In this paper we will present a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL. In particular, concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported. We will define its syntax, its semantics, describe its properties and present a constraint propagation calculus for reasoning in it.

Source: The journal of artificial intelligence research (Print) 14 (2001): 137–166. doi:10.1613/jair.813

Publisher: Morgan Kaufmann Publishers,, San Francisco, Calif. , Stati Uniti d'America

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:43949,
	title = {Reasoning within fuzzy description logics},
	author = {Straccia U.},
	publisher = {Morgan Kaufmann Publishers,, San Francisco, Calif. , Stati Uniti d'America},
	doi = {10.1613/jair.813 and 10.48550/arxiv.1106.0667},
	journal = {The journal of artificial intelligence research (Print)},
	volume = {14},
	pages = {137–166},
	year = {2001}
}