A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$

DOI10.1007/978-3-642-40537-2_17zbMath1401.68307OpenAlexW1565648373MaRDI QIDQ2851945

Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi

Publication date: 4 October 2013

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-40537-2_17

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (3)

Modal Tableau Systems with Blocking and Congruence Closure ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Extended decision procedure for a fragment of HL with binders

Uses Software

• FaCT++
• MetTeL

This page was built for publication: A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$