PS\textsc{pace} tableau algorithms for acyclic modalized ALC

DOI10.1007/S10817-011-9232-3MaRDI QIDQ352965zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jia Tao, Giora Slutzki, Vasant Honavar

Publication date 5 July 2013

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

Full work available at URL https://doi.org/10.1007/s10817-011-9232-3

zbMATH Keywords

description logicmodal logic\(\mathcal{ALC}\)\textsc{PSpace}tableau algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
• EXPtime tableaux for ALC
• scientific article; zbMATH DE number 1612535
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• An overview of tableau algorithms for description logics

Cites work

• scientific article; zbMATH DE number 2086262 (Why is no real title available?)
• scientific article; zbMATH DE number 1735887 (Why is no real title available?)
• scientific article; zbMATH DE number 1149405 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1405451 (Why is no real title available?)
• scientific article; zbMATH DE number 1400210 (Why is no real title available?)
• A multi-dimensional terminological knowledge representation language
• A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains
• An epistemic operator for description logics
• An overview of tableau algorithms for description logics
• Attributive concept descriptions with complements
• Automata can show PSpace results for description logics
• Decidable fragments of first-order modal logics
• Description logics of minimal knowledge and negation as failure
• Handbook of modal logic
• PSpace reasoning for graded modal logics
• Practical reasoning for very expressive description logics
• Reasoning in expressive description logics
• Terminological reasoning is inherently intractable

Cited in

(4)

• A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$
• A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
• A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains
• scientific article; zbMATH DE number 1612535 (Why is no real title available?)

Describes a project that uses

Uses Software

• KL-ONE

This page was built for publication: PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)

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