DESCRIPTION LOGICS OVER LATTICES
From MaRDI portal
Publication:5291327
DOI10.1142/S0218488506003807zbMath1093.68107DBLPjournals/ijufks/Straccia06OpenAlexW2048742358WikidataQ58049284 ScholiaQ58049284MaRDI QIDQ5291327
Publication date: 10 May 2006
Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218488506003807
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (19)
Reasoning within intuitionistic fuzzy rough description logics ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ Reasoning in fuzzy description logics using automata ⋮ A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases ⋮ Model checking computation tree logic over finite lattices ⋮ 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 ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS ⋮ SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ Fuzzy description logics under Gödel semantics ⋮ A formal framework for description logics with uncertainty ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES ⋮ Reasoning within expressive fuzzy rough description logics ⋮ Inconsistency-tolerant reasoning with OWL DL
Cites Work
This page was built for publication: DESCRIPTION LOGICS OVER LATTICES
