Results 11 to 20 of about 778 (247)
Reasoning with the Fuzzy Description Logic fZSI
While applications in different areas have shown the necessity of dealing with uncertain knowledge, Semantic Web techniques based on standard Description Logics do not have such a capability.
Du, Weichang, Boley, Harold, Zhao, Jidi
core +2 more sources
Fuzzy Description Logics – A Survey [PDF]
Mathematical Fuzzy Logics [51, 60] have a long tradition with roots going back to the many-valued logics of Łukasiewicz, Godel, and Kleene [57, 68, 73] and the Fuzzy Set Theory of Zadeh [111]. Their purpose is to model vagueness or imprecision in the real world, by introducing new degrees of truth as additional shades of gray between the Boolean true ...
Borgwardt, S, Peñaloza, R
openaire +1 more source
On finitely-valued Fuzzy Description Logics
Peer ...
Marco Cerami +2 more
openaire +3 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 ...
Stefan Borgwardt +2 more
openaire +2 more sources
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
Supporting Fuzzy Rough Sets in Fuzzy Description Logics [PDF]
Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and rough DLs. In this work, we provide a simple solution to join these two formalisms and define a fuzzy rough DL.
Bobillo F, Straccia U
openaire +3 more sources
Undecidability of Fuzzy Description Logics
Fuzzy description logics (DLs) have been investigated for over two decades, due to their capacity to formalize and reason with imprecise concepts. Very recently, it has been shown that for several fuzzy DLs, reasoning becomes undecidable. Although the proofs of these results differ in the details of each specific logic considered, they are all based on
Borgwardt, S, Penaloza, R
openaire +4 more sources
Fuzzy Description Logic Programs [PDF]
Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
openaire +5 more sources
Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation
A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels +4 more
wiley +1 more source
Decidability and Complexity of Fuzzy Description Logics [PDF]
Fuzzy description logics (FDLs) have been introduced to represent concepts for which membership cannot be determined in a precise way, i.e., where instead of providing a strict border between being a member and not being a member, it is more appropriate to model a gradual change from membership to non-membership.
Baader, F, Borgwardt, S, Peñaloza, R
openaire +1 more source

