Query answering in lattice-based description logic

DOI10.4204/EPTCS.421.2MaRDI QIDQ6933986zbMATH OpenFDO

Authors 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.2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• Algorithmic correspondence and canonicity for non-distributive logics
• An introduction to description logic
• Categories: how I learned to stop worrying and love two sorts
• Conjunctive query answering for the description logic SHIQ
• Handbook on ontologies
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Labelled calculi for the logics of rough concepts
• Mechanizing Mathematical Reasoning
• Non-distributive description logic
• Non-distributive logics: from semantics to meaning
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Reasoning on UML class diagrams
• Rough concepts
• Toward an epistemic-logical theory of categorization
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Unified correspondence as a proof-theoretic tool

This page was built for publication: Query answering in lattice-based description logic

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