DMCA

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

by Ullrich Hustadt
Citations:142 - 19 self