Decomposition-based reasoning for large knowledge bases in description logics

Thi Anh Le Pham, Nhan Le Thanh, Peter Sander. Decomposition-based reasoning for large knowledge bases in description logics. Integrated Computer-Aided Engineering, 15(1):53-70, 2008. [doi]

Abstract

Abstract is missing.