U.: Reducing SHIQDescription Logic to Disjunctive Datalog Programs (2004)

by U Hustadt, B Motik, Sattler
Venue:Proc. of the 9th Int. Conf. on Knowledge Representation and Reasoning (KR2004), Menlo Park