Tableau-based revision for expressive description logics with individuals

Thinh Dong, Chan Le Duc, Myriam Lamolle. Tableau-based revision for expressive description logics with individuals. J. Web Sem., 45:63-79, 2017. [doi]

Abstract

Abstract is missing.