EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies-Reference-Cited by-同舟云学术

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies

Published: Issue: Volume: Page:133-148
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Goré Rajeev,Nguyen Linh Anh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73099-6_12.pdf

Reference11 articles.

1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

2. De Giacomo, G., Massacci, F.: Combining deduction and model checking into tableaux and algorithms for Converse-PDL. Information and Computation, pp. 117–137, pp. 87–138 (2000)

3. Ding, Y., Haarslev, V.: Tableau caching for description logics with inverse and transitive roles. In: Proc. DL-2006: International Workshop on Description Logics, pp. 143–149 (2006)

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

5. Goré, R.: Tableau methods for modal and temporal logics. In: Agostino, D. (ed.) Handbook of Tableau Methods, pp. 297–396. Kluwer, Dordrecht (1999)

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

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

2. And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL;Automated Reasoning;2014

3. ExpTime Tableaux Algorithm for Contextualized $\mathcal{ALC}$;Modeling and Using Context;2013

4. A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices;Web Reasoning and Rule Systems;2012

5. On Designing the SONCA System;Intelligent Tools for Building a Scientific Information Platform;2012