Combining answer set programming with description logics for the semantic web (2007)

by T Eiter, G Ianni, T Lukasiewicz, R Schindlauer, H Tompits
Venue:Institut für Informationssysteme, Technische Universität