Sound Global State Caching for ALC with Inverse Roles

DOI10.1007/978-3-642-02716-1_16zbMath1260.68372OpenAlexW2170319925MaRDI QIDQ3648732

Florian Widmann, Rajeev Goré

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_16

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse ⋮ Optimized Description Logic Reasoning via Core Blocking ⋮ ExpTime tableau decision procedures for regular grammar logics with converse

Uses Software

• OCaml
• FaCT++