Hong Fang, Xiaowang Zhang. A Tableau-Based Forgetting in ALCQ. In Huajun Chen, Heng Ji, Le Sun, Haixun Wang, Tieyun Qian, Tong Ruan, editors, Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data - First China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised Selected Papers. Volume 650 of Communications in Computer and Information Science, pages 110-116, Springer, 2016. [doi]
Abstract is missing.