@article{dong:hal-03245920, TITLE = {{Tableau-based revision in SHIQ}}, AUTHOR = {Dong, Thinh and Le Duc, C. and Bonnot, P. and Lamolle, Myriam}, URL = {https://univ-paris8.hal.science/hal-03245920}, JOURNAL = {{Description Logics 2015}}, YEAR = {2015}, HAL_ID = {hal-03245920}, HAL_VERSION = {v1}, }