Consequence-Based Procedure for Description Logics with Self-Restriction

Cong Wang, Pascal Hitzler. Consequence-Based Procedure for Description Logics with Self-Restriction. In Juanzi Li, Guilin Qi, Dongyan Zhao, Wolfgang Nejdl, Hai-Tao Zheng, editors, Semantic Web and Web Science - 6th Chinese Semantic Web Symposium and 1st Chinese Web Science Conference, CSWS 2012, Shenzhen, China, November 28-30, 2012. pages 169-180, Springer, 2012. [doi]

Abstract

Abstract is missing.