Sound Global State Caching for ALC with Inverse Roles-Reference-Cited by-同舟云学术

Sound Global State Caching for ALC with Inverse Roles

Published:2009 Issue: Volume: Page:205-219
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Goré Rajeev,Widmann Florian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02716-1_16.pdf

Reference9 articles.

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)

2. Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. Journal of Automated Reasoning 39(3), 249–276 (2007)

3. Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. Journal of Logic and Computation 9(3), 267–293 (1999)

4. Donini, F.M., Massacci, F.: EXPTIME tableaux for ALC. Artificial Intelligence 124(1), 87–138 (2000)

5. Goré, R., Nguyen, L.A.: EXPTIME tableaux for ALC using sound global caching. In: Proc. DL 2007. CEUR Workshop, vol. 250 (2007), CEUR-WS.org

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23

2. Optimal Satisfiability Checking for Arithmetic $$\mu $$ -Calculi;Lecture Notes in Computer Science;2019

3. Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents;Lecture Notes in Computer Science;2019

4. Tree-sequent calculi and decision procedures for intuitionistic modal logics;Journal of Logic and Computation;2015-06-12

5. Designing a Tableau Reasoner for Description Logics;Advanced Computational Methods for Knowledge Engineering;2015