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

by U Hustadt, B Motik, U Sattler
Venue:In Proceedings of the International Conference on Knowledge Representation and Reasoning