Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)

DOI10.1016/j.ins.2010.10.020zbMath1209.68519OpenAlexW2125067149WikidataQ58049241 ScholiaQ58049241MaRDI QIDQ632777

Umberto Straccia, Fernando Bobillo

Publication date: 28 March 2011

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2010.10.020

zbMATH Keywords

fuzzy logicfuzzy ontologieslogic for the semantic webfuzzy description logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (16)

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting ⋮ Steady states of max-Łukasiewicz fuzzy systems ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Systemic approach to fuzzy logic formalization for approximate reasoning ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ Generalized fuzzy rough description logics ⋮ Consistency reasoning in lattice-based fuzzy description 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 ⋮ Characterizations of regular ordered semigroups in terms of \((\alpha , \beta )\)-fuzzy generalized bi-ideals ⋮ Towards Contingent World Descriptions in Description Logics ⋮ Inconsistency-tolerant reasoning with OWL DL

Uses Software

• Fuzzydl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• On the structure of semi-groups on a compact manifold with boundary
• Fuzzy description logics under Gödel semantics
• Reasoning with rough description logics: An approximate concepts approach
• Fuzzy description logics with general t-norms and datatypes
• Reasoning within expressive fuzzy rough description logics
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Making fuzzy description logic more general
• Reasoning within intuitionistic fuzzy rough description logics
• Which logic is the real fuzzy logic?
• Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
• Supporting Fuzzy Rough Sets in Fuzzy Description Logics
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• DESCRIPTION LOGICS OVER LATTICES
• Perspectives on ontology-based querying
• Logics in Artificial Intelligence
• Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
• Mechanizing Mathematical Reasoning

This page was built for publication: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)