Results 11 to 20 of about 20,038 (240)
Fuzzy description logics under Gödel semantics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bobillo F +3 more
openaire +6 more sources
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stoilos, G., Stamou, G., Pan, J.Z.
openaire +4 more sources
Reasoning within expressive fuzzy rough description logics
It is generally accepted that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are suitable, well-known logics for managing structured knowledge that have gained considerable attention the last decade.
Jiang, Yuncheng +3 more
openaire +5 more sources
How Fuzzy Is My Fuzzy Description Logic? [PDF]
Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology ...
Borgwardt S, Distel F, Penaloza R
openaire +2 more sources
Reasoning within Fuzzy Description Logics [PDF]
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.
openaire +5 more sources
A Description Logic of Typicality for Conceptual Combination [PDF]
We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling.
A Lieto +12 more
core +1 more source
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
A. Avron +23 more
core +1 more source
Nilpotent Minimum Fuzzy Description Logics [PDF]
We dene the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
GERLA, BRUNELLA, Dalla Rovere M.
openaire +2 more sources
Complexity of fuzzy answer set programming under Łukasiewicz semantics [PDF]
Fuzzy answer set programming (FASP) is a generalization of answer set programming (ASP) in which propositions are allowed to be graded. Little is known about the computational complexity of FASP and almost no techniques are available to compute the ...
Blondeel, Marjon +3 more
core +2 more sources
Continuous Improvement Through Knowledge-Guided Analysis in Experience Feedback [PDF]
Continuous improvement in industrial processes is increasingly a key element of competitiveness for industrial systems. The management of experience feedback in this framework is designed to build, analyze and facilitate the knowledge sharing among ...
Geneste, Laurent +3 more
core +2 more sources

