Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ
From MaRDI portal
Publication:632777
DOI10.1016/J.INS.2010.10.020zbMATH Open1209.68519OpenAlexW2125067149WikidataQ58049241 ScholiaQ58049241MaRDI QIDQ632777FDOQ632777
Authors: Fernando Bobillo, Umberto Straccia 
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
Recommendations
- On finitely valued fuzzy description logics: the Łukasiewicz case
- On finitely-valued fuzzy description logics
- Reasoning and Quantification in Fuzzy Description Logics
- scientific article
- Reasoning within intuitionistic fuzzy rough description logics
- Reasoning within expressive fuzzy rough description logics
- Reasoning within fuzzy description logics
Knowledge representation (68T30) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)
Cites Work
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Attributive concept descriptions with complements
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy description logics with general t-norms and datatypes
- Making fuzzy description logic more general
- Reasoning within intuitionistic fuzzy rough description logics
- Reasoning within fuzzy description logics
- Title not available (Why is that?)
- Which logic is the real fuzzy logic?
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- DESCRIPTION LOGICS OVER LATTICES
- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
- Mechanizing Mathematical Reasoning
- Fuzzy description logics under Gödel semantics
- Perspectives on ontology-based querying
- Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
Cited In (25)
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Reasoning and Quantification in Fuzzy Description Logics
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- Reasoning in fuzzy description logics using automata
- 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 expressive description logics under infinitely valued Gödel semantics
- Finite fuzzy description logics and crisp representations
- Systemic approach to fuzzy logic formalization for approximate reasoning
- Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting
- Generalized fuzzy rough description logics
- Consistency reasoning in lattice-based fuzzy description logics
- On finitely-valued fuzzy description logics
- Fuzzy description logics under Gödel semantics
- Reasoning within fuzzy OWL 2 EL revisited
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- Inconsistency-tolerant reasoning with OWL DL
- From fuzzy to annotated semantic web languages
- Characterizations of regular ordered semigroups in terms of \((\alpha , \beta )\)-fuzzy generalized bi-ideals
- Steady states of max-Łukasiewicz fuzzy systems
- On finitely valued fuzzy description logics: the Łukasiewicz case
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- Towards contingent world descriptions in description logics
- Unranked fuzzy logic and reasoning
Uses Software
This page was built for publication: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q632777)
