"Combining Answer Set Programming with Description Logics for the Semantic Web."

Thomas Eiter et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics