A PSpace Algorithm for Acyclic Epistemic DL ALCS5(m)

Downloadable Content

Download this item
Abstract
  • We study the description language ALCS5(m), a variant of ALCK(m) and ALCS4(m). It augments ALC by allowing multi-modal epistemic operators over concept and role expressions. The epistemic operators are interpreted in modal logic S5(m). By examining design issues of the tableau algorithm specific for ALCS5(m), different from those for ALCK(m) and ALCS4(m), we provide a sound and complete tableau algorithm for deciding the satisfiability of an ALCS5(m) knowledge base with an acyclic TBox, and further show how it can be implemented in PSPACE.
TitleA PSpace Algorithm for Acyclic Epistemic DL ALCS5(m)
CreatorTao, Jia
PublisherJournal of Automated Reasoning
Academic DepartmentComputer Science
DivisionNatural Sciences
OrganizationLafayette College
Date IssuedOctober 2019
Date Available2020-10-01
TypeArticle
LanguageEnglish
KeywordEpistemic logic
Description logic
PSPACE
ALC
Tableau algorithm
Bibliographic CitationTao, J. (2019 Oct) "A PSpace Algorithm for Acyclic Epistemic DL ALCS5(m)." Journal of Automated Reasoning 63 (3): 539-555.
Standard IdentifierDOI 10.1007/s10817-018-9473-5
Handle 10385/jm214p60d
Permalinkhttp://hdl.handle.net/10385/jm214p60d
Rights Statement In Copyright In Copyright
Rights HoldersSpringer Nature
Contains
File Tao-JournalofAutomatedReasoning-vol63-2019.pdf Uploaded 2020-05-18 Public Download

Member of Collection

Faculty Publications

View Collection