The Combined Complexity of Reasoning with Closed Predicates in Description Logics.
['Nhung Ngo', 'Magdalena Ortiz', 'Mantas Šimkus']
The Combined Complexity of Reasoning with Closed Predicates in Description Logics.