Fuzzy description logics under Gödel semantics
From MaRDI portal
Publication:962867
DOI10.1016/j.ijar.2008.10.003zbMath1191.68647OpenAlexW2095768683WikidataQ58013295 ScholiaQ58013295MaRDI QIDQ962867
Juan Gómez-Romero, Fernando Bobillo, Umberto Straccia, Miguel A. Delgado
Publication date: 7 April 2010
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2008.10.003
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (34)
Decidability of order-based modal logics ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ One-variable fragments of intermediate logics over linear frames ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics ⋮ On similarity in fuzzy description logics ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ 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 ⋮ Semantic operations of multiple soft sets under conflict ⋮ 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 ⋮ Semantic decision making using ontology-based soft sets ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Extending soft sets with description logics ⋮ Granular computing applied to ontologies ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Supporting Fuzzy Rough Sets in Fuzzy Description Logics ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ Reasoning within expressive fuzzy rough description logics ⋮ Paraconsistent Gödel modal logic
Uses Software
Cites Work
- Attributive concept descriptions with complements
- Fuzzy description logics with general t-norms and datatypes
- Metamathematics of fuzzy logic
- Making fuzzy description logic more general
- Learning in Description Logics with Fuzzy Concrete Domains
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
- Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
- Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
- DESCRIPTION LOGICS OVER LATTICES
- Perspectives on ontology-based querying
- Logics in Artificial Intelligence
- AI*IA 2005: Advances in Artificial Intelligence
- Fuzzy sets
- Mechanizing Mathematical Reasoning
- f-SWRL: A Fuzzy Extension of SWRL
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Fuzzy description logics under Gödel semantics
