Results 11 to 20 of about 778 (247)

Reasoning with the Fuzzy Description Logic fZSI

open access: yes, 2010
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]

open access: yes, 2017
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

open access: yesInternational Journal of Approximate Reasoning, 2014
Peer ...
Marco Cerami   +2 more
openaire   +3 more sources

How Fuzzy Is My Fuzzy Description Logic? [PDF]

open access: yes, 2012
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]

open access: yesProceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011
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]

open access: yes, 2009
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

open access: yes, 2011
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]

open access: yes, 2008
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

open access: yesAdvanced Materials, EarlyView.
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]

open access: yesKI - Künstliche Intelligenz, 2016
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

Home - About - Disclaimer - Privacy