Soundness Preserving Approximation for TBox Reasoning.

Yuan Ren, Jeff Z. Pan, Yuting Zhao

Browse the full AAAI paper archive.