DESCRIPTION LOGICS OVER LATTICES

DOI10.1142/S0218488506003807MaRDI QIDQ5291327zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Umberto Straccia

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

zbMATH Keywords

description logicsmany-valued logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Description Logics
• LTL over description logic axioms
• Description logics in knowledge representation
• A logical semantics for description logic programs
• Description logics for ontologies
• scientific article; zbMATH DE number 1531967
• Reasoning in expressive description logics
• An introduction to description logic
• Reasoning in Description Logics: Basics, Extensions, and Relatives

Cites work

• A four-valued semantics for terminological logics
• A model of multimedia information retrieval
• Attributive concept descriptions with complements
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Reasoning and revision in hybrid representation systems

Cited in

(25)

• Reasoning within expressive fuzzy rough description logics
• Reasoning in fuzzy description logics using automata
• Inconsistency-tolerant reasoning with OWL DL
• Reasoning within intuitionistic fuzzy rough description logics
• The limits of decidability in fuzzy description logics with general concept inclusions
• The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
• A conceptual framework for secrecy-preserving reasoning in knowledge bases
• From fuzzy to annotated semantic web languages
• All about fuzzy description logics and applications
• Parameterized uncertain reasoning approach based on a lattice-valued logic
• Quantitative semantics for uncertain knowledge bases
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• scientific article; zbMATH DE number 1163485 (Why is no real title available?)
• Generalized fuzzy rough description logics
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• Similarity-based relations in Datalog programs
• Consistency reasoning in lattice-based fuzzy description logics
• A Decidable Constructive Description Logic
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• OUP accepted manuscript
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Analyzing Natural-Language Knowledge Under Uncertainty on the Basis of Description Logics
• Model checking computation tree logic over finite lattices
• Fuzzy description logics under Gödel semantics
• A formal framework for description logics with uncertainty

This page was built for publication: DESCRIPTION LOGICS OVER LATTICES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5291327)