%0 Journal Article %T Tableau-based revision in SHIQ %+ Laboratoire d'Informatique Avancée de Saint-Denis (LIASD) %A Dong, Thinh %A Le Duc, C. %A Bonnot, P. %A Lamolle, Myriam %< avec comité de lecture %J Description Logics 2015 %8 2015 %D 2015 %Z Computer Science [cs]Journal articles %G English %L hal-03245920 %U https://univ-paris8.hal.science/hal-03245920 %~ UNIV-PARIS8 %~ LIASD %~ UNIV-PARIS-LUMIERES