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

by Ullrich Hustadt
Citations:125 - 19 self