Formally Verified Tableau-Based Reasoners for a Description Logic

M. J. Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina. Formally Verified Tableau-Based Reasoners for a Description Logic. Journal of Automated Reasoning, 52(3):331-360, 2014. [doi]

Abstract

Abstract is missing.