TL;DR
This paper introduces a fuzzy extension of the Description Logic ALC, enabling reasoning about imprecise concepts in multimedia information retrieval by combining fuzzy logic with classical DL.
Contribution
It presents the syntax, semantics, properties, and a reasoning calculus for the first fuzzy extension of ALC, supporting imprecise concept reasoning.
Findings
Fuzzy ALC concepts allow handling imprecision in multimedia data
A constraint propagation calculus for fuzzy ALC reasoning is developed
The approach enhances DLs for applications requiring imprecision management
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.