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]
No references recorded for this publication.
No citations of this publication recorded.