Fuzzy description logics under Gödel semantics

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

zbMATH Keywords

fuzzy ontologiesfuzzy logicsfuzzy description logics

Mathematics Subject Classification ID

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

• Fuzzydl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Fuzzy description logics under Gödel semantics