Wellfounded semantics for description logic programs in the semantic web (2011)

by Thomas Eiter, Thomas Lukasiewicz, Giovambattista Ianni, Roman Schindlauer
Venue:ACM Transactions on Computational Logic