An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)

DOI10.1007/978-3-540-71070-7_25zbMath1165.68501OpenAlexW2110508358MaRDI QIDQ3541710

Rajeev Goré, Linda Postniece

Publication date: 27 November 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_25

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ ExpTime tableaux with global caching for hybrid PDL

Cites Work

• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• EXPtime tableaux for ALC
• A benchmark method for the propositional modal logics K, KT, S4
• Optimizing terminological reasoning for expressive description logics
• Optimizing description logic subsumption