Reasoning within Fuzzy Description Logics
arXiv:1106.0667 · doi:10.1613/jair.813
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.
Cited by in corpus (13)
- Reasoning with Very Expressive Fuzzy Description Logics
- Conceptual Spaces for Cognitive Architectures: A Lingua Franca for Different Levels of Representation
- Structured Knowledge Representation for Image Retrieval
- Description Logics with Fuzzy Concrete Domains
- On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
- Towards a Proof Theory of Gödel Modal Logics
- An Introduction to Fuzzy & Annotated Semantic Web Languages
- A Real-Valued Modal Logic
- Fuzzy Ontology Representation using OWL 2
- The State of the Art in Developing Fuzzy Ontologies: A Survey
- Reasoning in Infinitely Valued G-IALCQ
- PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
- A Neutrosophic Description Logic