%0 Conference Paper %1 conf/dlog/RenPZ10 %A Ren, Yuan %A Pan, Jeff Z. %A Zhao, Yuting %B Description Logics %D 2010 %E Haarslev, Volker %E Toman, David %E Weddell, Grant E. %I CEUR-WS.org %K dblp %T Towards Soundness Preserving Approximation for ABox Reasoning of OWL2. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2010.html#RenPZ10 %V 573

@inproceedings{conf/dlog/RenPZ10, added-at = {2023-03-10T00:00:00.000+0100}, author = {Ren, Yuan and Pan, Jeff Z. and Zhao, Yuting}, biburl = {https://www.bibsonomy.org/bibtex/29802cdf96104cd80125645352ebbba65/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2010}, editor = {Haarslev, Volker and Toman, David and Weddell, Grant E.}, ee = {https://ceur-ws.org/Vol-573/paper_48.pdf}, interhash = {5415e7a448b3fddd7072b75179c6b69b}, intrahash = {9802cdf96104cd80125645352ebbba65}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:00:37.000+0200}, title = {Towards Soundness Preserving Approximation for ABox Reasoning of OWL2.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2010.html#RenPZ10}, volume = 573, year = 2010 }