Reducing SHIQ Description Logic to Disjunctive Datalog Programs (2004)

by U Ustadt, B Motik, U Sattler
Venue:in Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR