Non-distributive description logic

DOI10.1007/978-3-031-43513-3_4MaRDI QIDQ6541145FDO

Authors Ineke van der Berg, Andrea de Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano

Publication date 17 May 2024

zbMATH Keywords

formal concept analysisdescription logictableaux algorithmLE-logics

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 877297 (Why is no real title available?)
• A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
• Algorithmic correspondence and canonicity for non-distributive logics
• An introduction to description logic
• Categories: how I learned to stop worrying and love two sorts
• Concept Lattices
• Constructive description logics hybrid-style
• Fuzzy Description Logics – A Survey
• Labelled calculi for the logics of rough concepts
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Non-distributive logics: from semantics to meaning
• Rough concepts
• Semantic characterization of rational closure: from propositional logic to description logics
• Toward an epistemic-logical theory of categorization
• Unified correspondence as a proof-theoretic tool

This page was built for publication: Non-distributive description logic

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