Cited in
(30)- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- Quantifying sequential subsumption
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Reasoning in fuzzy description logics using automata
- A description logic approach for representing and reasoning on fuzzy object-oriented database models
- The limits of decidability in fuzzy description logics with general concept inclusions
- Generalized fuzzy rough description logics
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$
- DL-learner
- DeLorean
- FPROLOG
- Fril++
- FRIL
- HyPER
- Turtle
- MNiBLoS
- TuCSoN
- Reasoning within expressive fuzzy rough description logics
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- On similarity in fuzzy description logics
- From fuzzy to annotated semantic web languages
- All about fuzzy description logics and applications
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- On the failure of the finite model property in some fuzzy description logics
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- Fuzzy description logics with general t-norms and datatypes
- Foundations of fuzzy logic and semantic web languages
- Soft quantification in statistical relational learning
- Statistical relational learning with soft quantifiers
This page was built for software: Fuzzydl
