Reducing shiq- description logic to disjunctive datalog programs (0)

by Ullrich Hustadt, Boris Motik, Ulrike Sattler
Venue:Proc. KR