Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ
From MaRDI portal
Publication:632777
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; zbMATH DE number 5547901
- Reasoning within intuitionistic fuzzy rough description logics
- Reasoning within expressive fuzzy rough description logics
- Reasoning within fuzzy description logics
Cites work
- Algebraic foundations of many-valued reasoning
- Attributive concept descriptions with complements
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- DESCRIPTION LOGICS OVER LATTICES
- Fuzzy description logics under Gödel semantics
- Fuzzy description logics with general t-norms and datatypes
- scientific article; zbMATH DE number 5356404 (Why is no real title available?)
- scientific article; zbMATH DE number 5510996 (Why is no real title available?)
- scientific article; zbMATH DE number 5547901 (Why is no real title available?)
- scientific article; zbMATH DE number 67504 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2063020 (Why is no real title available?)
- scientific article; zbMATH DE number 1852927 (Why is no real title available?)
- scientific article; zbMATH DE number 5040084 (Why is no real title available?)
- Logics in Artificial Intelligence
- Making fuzzy description logic more general
- Mechanizing Mathematical Reasoning
- Metamathematics of fuzzy logic
- On the structure of semi-groups on a compact manifold with boundary
- Perspectives on ontology-based querying
- Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- Reasoning within fuzzy description logics
- Reasoning within intuitionistic fuzzy rough description logics
- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Which logic is the real fuzzy logic?
Cited in
(27)- Reasoning in fuzzy description logics using automata
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- Steady states of max-Łukasiewicz fuzzy systems
- Reasoning within fuzzy OWL 2 EL revisited
- Unranked fuzzy logic and reasoning
- Inconsistency-tolerant reasoning with OWL DL
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- From fuzzy to annotated semantic web languages
- On finitely valued fuzzy description logics: the Łukasiewicz case
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- Reasoning and Quantification in Fuzzy Description Logics
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Generalized fuzzy rough description logics
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- On finitely-valued fuzzy description logics
- Consistency reasoning in lattice-based fuzzy description logics
- Towards contingent world descriptions in description logics
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- 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
- Finite fuzzy description logics and crisp representations
- Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting
- Systemic approach to fuzzy logic formalization for approximate reasoning
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- PN-OWL: a two-stage algorithm to learn fuzzy concept inclusions from OWL 2 ontologies
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
- Fuzzy description logics under Gödel semantics
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)
