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

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

Szymon Klarman, Ulle Endriss, Stefan Schlobach

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

resolutiondescription logicabductionsemantic tableauxnon-standard reasoning services

Mathematics Subject Classification ID

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

Related Items

A first polynomial non-clausal class in many-valued logic ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction ⋮ Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL

Uses Software

• FaCT++
• Racer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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