ABox abduction in the description logic \(\mathcal{ALC}\)

DOI10.1007/s10817-010-9168-zzbMath1213.68591MaRDI QIDQ2429984

Ulle Endriss, Stefan Schlobach, Szymon Klarman

Publication date: 5 April 2011

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9168-z

zbMATH Keywords

resolution; description logic; abduction; semantic tableaux; non-standard reasoning services

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution

Uses Software

• FaCT++
• Racer

Cites Work

• Linearity and regularity with negation normal form
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• Debugging incoherent terminologies
• Advice on Abductive Logic
• Optimized Reasoning in Description Logics Using Hypertableaux
• Theorem Proving via General Matings
• On Matrices with Connections
• First order abduction via tableau and sequent calculi
• Abductive Logic Programming
• Logics in Artificial Intelligence
• On Cores and Prime Implicants of Truth Functions
• Abduction and induction. Essays on their relation and integration
• Goal-directed proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item