Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

First Page		Document Content
Date: 2009-07-07 04:46:34		Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 140,42 KB Share Document on Facebook