Reducing SHIQ − Description Logic to Disjunctive Datalog Programs (2004)

by Ullrich Hustadt
Citations:126 - 19 self