Classical algorithms for reasoning and explanation in description logics

DOI10.1007/978-3-030-31423-1_1MaRDI QIDQ6535980

Birte Glimm, Yevgeny Kazakov

Publication date: 14 March 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-monotonic description logic for reasoning about typicality
• Attributive concept descriptions with complements
• A theory of diagnosis from first principles
• Explaining axiom pinpointing
• Defeasible inheritance-based description logics
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• All About Fuzzy Description Logics and Applications
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• An Introduction to Description Logic
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Description Logics
• Hypertableau Reasoning for Description Logics
• Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
• Reasoning and Query Answering in Description Logics
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
• Hyper tableaux
• The Description Logic Handbook
• Optimized Description Logic Reasoning via Core Blocking

This page was built for publication: Classical algorithms for reasoning and explanation in description logics

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