Yingjie Song, Rong Chen. Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies. In Harris Papadopoulos, Andreas S. Andreou, Max Bramer, editors, Artificial Intelligence Applications and Innovations - 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings. Volume 339 of IFIP, pages 203-210, Springer, 2010. [doi]
Abstract is missing.