Making fuzzy description logic more general
From MaRDI portal
Recommendations
- Generalized fuzzy rough description logics
- scientific article; zbMATH DE number 5049710
- Fuzzy Description Logics – A Survey
- Reasoning within fuzzy description logics
- Fuzzy description logic and its applications
- scientific article; zbMATH DE number 5547901
- scientific article; zbMATH DE number 4079381
- Reasoning with general terminological axioms in fuzzy description logic FALCN
- Reasoning and Quantification in Fuzzy Description Logics
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
Cites work
- scientific article; zbMATH DE number 67504 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Attributive concept descriptions with complements
- Fuzzy description logic programs
- Metamathematics of fuzzy logic
- On the relative expressiveness of description logics and predicate logics
- Reasoning within fuzzy description logics
- Satisfiability in many-valued sentential logic is NP-complete
- Some Complexity Results on Fuzzy Description Logics
Cited in
(65)- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Fuzzy Halpern and Shoham's interval temporal logics
- Linear abelian modal logic
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- On Conjectures in t-Norm Based Fuzzy Logics
- Skolemization and Herbrand theorems for lattice-valued logics
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Nilpotent minimum fuzzy description logics
- Terminating calculi for propositional Dummett logic with subformula property
- Reasoning within intuitionistic fuzzy rough description logics
- Reasoning in fuzzy description logics using automata
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- Expressivity in chain-based modal logics
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Relational compositions in fuzzy class theory
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
- On elementary equivalence in fuzzy predicate logics
- The limits of decidability in fuzzy description logics with general concept inclusions
- Generalized fuzzy rough description logics
- On theories and models in fuzzy predicate logics
- On transitive modal many-valued logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Consistency reasoning in lattice-based fuzzy description logics
- Decidability of order-based modal logics
- Reasoning within expressive fuzzy rough description logics
- On finitely-valued fuzzy description logics
- On decidability of concept satisfiability in description logic with product semantics
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- Fuzzy description logic based on the revised Kleene implication
- On similarity in fuzzy description logics
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- On the relationship between fuzzy description logics and many-valued modal logics
- Triangular norm based predicate fuzzy logics
- From fuzzy to annotated semantic web languages
- All about fuzzy description logics and applications
- Strict core fuzzy logics and quasi-witnessed models
- Provability in predicate product logic
- One-variable fragments of intermediate logics over linear frames
- The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
- Type-2 fuzzy description logic
- On the failure of the finite model property in some fuzzy description logics
- Standard Gödel modal logics
- A family of Gödel hybrid logics
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
- Reasoning with general terminological axioms in fuzzy description logic FALCN
- Distinguishing standard SBL-algebras with involutive negations by propositional formulas
- Fuzzy description logics with general t-norms and datatypes
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Logical characterizations of regular equivalence in weighted social networks
- Introduction
- Fuzzy sets and formal logics
- Model checking fuzzy computation tree logic
This page was built for publication: Making fuzzy description logic more general
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2386237)
