Yuan Ren, Jeff Z. Pan, Yuting Zhao. Towards Soundness Preserving Approximation for ABox Reasoning of OWL2. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{RenPZ10-0,
title = {Towards Soundness Preserving Approximation for ABox Reasoning of OWL2},
author = {Yuan Ren and Jeff Z. Pan and Yuting Zhao},
year = {2010},
url = {http://ceur-ws.org/Vol-573/paper_48.pdf},
researchr = {https://researchr.org/publication/RenPZ10-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
editor = {Volker Haarslev and David Toman and Grant E. Weddell},
volume = {573},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}