ExpTime tableaux with global state caching for the description logic SHIO-Reference-Cited by-同舟云学术

ExpTime tableaux with global state caching for the description logic SHIO

Published:2014-12 Issue: Volume:146 Page:249-263
ISSN:0925-2312
Container-title:Neurocomputing
language:en
Short-container-title:Neurocomputing

Author:

Nguyen Linh Anh

Funder

Polish National Science Center (NCN)

Publisher

Elsevier BV

Subject

Artificial Intelligence,Cognitive Neuroscience,Computer Science Applications

Reference35 articles.

1. Converse-PDL with regular inclusion axioms;Dunin-Kȩplicz;J. Appl. Non-Class. Log.,2011

2. HermiT;Glimm,2009

3. R. Goré, L.A. Nguyen, ExpTime tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies, in: Proceedings of TABLEAUX 2007, vol. 4548 of LNAI, Springer, 2007, pp. 133–148.

4. Exptime tableaux for ALC using sound global caching;Goré;J. Autom. Reason.,2013

5. R. Goré, F. Widmann, Sound global state caching for ALC with inverse roles, in: Proceedings of TABLEAUX 2009, vol. 5607 of LNCS, Springer, 2009, pp. 205–219.

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

1. Pay-as-you-go consequence-based reasoning for the description logic SROIQ;Artificial Intelligence;2021-09

2. ExpTime Tableaux with Global Caching for Hybrid PDL;Journal of Automated Reasoning;2019-01-01

3. Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions;Journal of Artificial Intelligence Research;2018-11-29

4. Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements;Theoretical Aspects of Computing – ICTAC 2017;2017

5. Design of the Tableau Reasoner TGC2 for Description Logics;International Journal of Software Engineering and Knowledge Engineering;2016-10