A Strong Correspondence between Description Logics and Open Logic Programming.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Browse the full ICLP paper archive.