Making fuzzy description logic more general
From MaRDI portal
Publication:2386237
DOI10.1016/J.FSS.2005.03.005zbMATH Open1094.03014OpenAlexW2033088754MaRDI QIDQ2386237FDOQ2386237
Authors: Petr Hájek 
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
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
- Publication:3809771
- 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
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Satisfiability in many-valued sentential logic is NP-complete
- Title not available (Why is that?)
- Attributive concept descriptions with complements
- Reasoning within fuzzy description logics
- On the relative expressiveness of description logics and predicate logics
- Some Complexity Results on Fuzzy Description Logics
- Fuzzy description logic programs
Cited In (65)
- Fuzzy Halpern and Shoham's interval temporal logics
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- On Conjectures in t-Norm Based Fuzzy Logics
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Skolemization and Herbrand theorems for lattice-valued logics
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- 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
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- Expressivity in chain-based modal logics
- 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
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
- Relational compositions in fuzzy class theory
- On elementary equivalence in fuzzy predicate logics
- The limits of decidability in fuzzy description logics with general concept inclusions
- On theories and models in fuzzy predicate logics
- Generalized fuzzy rough description logics
- On transitive modal many-valued logics
- Decidability of order-based modal logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Reasoning within expressive fuzzy rough description logics
- Consistency reasoning in lattice-based fuzzy description logics
- On finitely-valued fuzzy description logics
- 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
- 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
- The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
- Strict core fuzzy logics and quasi-witnessed models
- Provability in predicate product logic
- Type-2 fuzzy description logic
- On the failure of the finite model property in some fuzzy description logics
- Standard Gödel modal logics
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
- A family of Gödel hybrid logics
- Reasoning with general terminological axioms in fuzzy description logic FALCN
- Distinguishing standard SBL-algebras with involutive negations by propositional formulas
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- Fuzzy description logics with general t-norms and datatypes
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Logical characterizations of regular equivalence in weighted social networks
- Fuzzy sets and formal logics
- Model checking fuzzy computation tree logic
- Linear abelian modal logic
- Nilpotent minimum fuzzy description logics
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- Title not available (Why is that?)
- On decidability of concept satisfiability in description logic with product semantics
- Fuzzy description logic based on the revised Kleene implication
- One-variable fragments of intermediate logics over linear frames
- Introduction
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
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)
