Non-distributive description logic

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive description logics hybrid-style
• Concept Lattices
• Semantic characterization of rational closure: from propositional logic to description logics
• An Introduction to Description Logic
• Title not available (Why is that?)
• Unified correspondence as a proof-theoretic tool
• Algorithmic correspondence and canonicity for non-distributive logics
• Non-distributive logics: from semantics to meaning
• Fuzzy Description Logics – A Survey
• Categories: How I Learned to Stop Worrying and Love Two Sorts
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Labelled calculi for the logics of rough concepts
• Rough concepts
• A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps

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)