Fuzzy lattice-based description logic

DOI10.4204/EPTCS.421.3MaRDI QIDQ6933985zbMATH OpenFDO

Authors Yi Wen Ding, Krishna Manoorkar

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.421.3

Mathematics Subject Classification ID

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

Cites work

• An introduction to description logic
• Categories: how I learned to stop worrying and love two sorts
• Concept Lattices
• Fuzzy and rough formal concept analysis: a survey
• Fuzzy Galois Connections
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Labelled calculi for the logics of rough concepts
• Metamathematics of fuzzy logic
• Non-distributive description logic
• Non-distributive logics: from semantics to meaning
• Rough concepts
• Unified correspondence as a proof-theoretic tool

This page was built for publication: Fuzzy lattice-based description logic

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