Making fuzzy description logic more general
From MaRDI portal
Publication:2386237
DOI10.1016/j.fss.2005.03.005zbMath1094.03014OpenAlexW2033088754MaRDI QIDQ2386237
Publication date: 22 August 2005
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2005.03.005
Related Items (59)
Decidability of order-based modal logics ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Type-2 fuzzy description logic ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Provability in predicate product logic ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ On elementary equivalence in fuzzy predicate logics ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures ⋮ On similarity in fuzzy description logics ⋮ A family of Gödel hybrid logics ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ Generalized fuzzy rough description logics ⋮ Introduction ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ On finitely-valued fuzzy description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ Expressivity in chain-based modal logics ⋮ JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ Model checking fuzzy computation tree logic ⋮ Fuzzy description logics under Gödel semantics ⋮ Standard Gödel modal logics ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ Computational complexity of t-norm based propositional fuzzy logics with rational truth constants ⋮ Fuzzy sets and formal logics ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Triangular norm based predicate fuzzy logics ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ On transitive modal many-valued logics ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Supporting Fuzzy Rough Sets in Fuzzy Description Logics ⋮ CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES ⋮ Unnamed Item ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Relational compositions in fuzzy class theory ⋮ On theories and models in fuzzy predicate logics ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ Reasoning within expressive fuzzy rough description logics ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions ⋮ Terminating calculi for propositional Dummett logic with subformula property
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Satisfiability in many-valued sentential logic is NP-complete
- Metamathematics of fuzzy logic
- On the relative expressiveness of description logics and predicate logics
- Some Complexity Results on Fuzzy Description Logics
This page was built for publication: Making fuzzy description logic more general
