Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
From MaRDI portal
Publication:632777
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
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
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}\)
