Global caching for coalgebraic description logics

DOI10.1007/978-3-642-14203-1_5MaRDI QIDQ5747750zbMATH OpenOpenAlexFDO

Authors Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder

Publication date 14 September 2010

Published in Automated Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Optimal tableau algorithms for coalgebraic logics
• An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\)
• An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
• Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$

Cites work

• A finite model construction for coalgebraic modal logic
• Bisimulation through probabilistic testing
• Coalgebraic Hybrid Logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• Cut elimination in coalgebraic logics
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• EXPtime tableaux for ALC
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Handbook of modal logic
• Modular Algorithms for Heterogeneous Modal Logics
• On the synthesis of strategies in infinite games
• Optimal tableau algorithms for coalgebraic logics
• Optimizing description logic subsumption
• PSPACE bounds for rank-1 modal logics
• Tableau-based Decision Procedures for Hybrid Logic
• Termination for Hybrid Tableaus

Cited in

(9)

• Reasoning with global assumptions in arithmetic modal logics
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• Optimal tableau algorithms for coalgebraic logics
• Sound global state caching for ALC with inverse roles
• An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\)
• Coalgebraic semantics of modal logics: an overview
• COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
• The alternating-time -calculus with disjunctive explicit strategies

Describes a project that uses

Uses Software

• CoLoSS

This page was built for publication: Global caching for coalgebraic description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747750)