Thinh Dong, Chan Le Duc, Myriam Lamolle. Tableau-based revision for expressive description logics with individuals. J. Web Sem., 45:63-79, 2017. [doi]
@article{DongDL17-0, title = {Tableau-based revision for expressive description logics with individuals}, author = {Thinh Dong and Chan Le Duc and Myriam Lamolle}, year = {2017}, doi = {10.1016/j.websem.2017.09.001}, url = {https://doi.org/10.1016/j.websem.2017.09.001}, researchr = {https://researchr.org/publication/DongDL17-0}, cites = {0}, citedby = {0}, journal = {J. Web Sem.}, volume = {45}, pages = {63-79}, }