Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)

David Carral, Markus Krötzsch
2020 International Workshop on Description Logics  
dblp:conf/dlog/CarralK20 fatcat:4xudtrbkqnbhbfqjjjyctllzby