A Faithful Integration of Description Logics with Logic Programming.

Boris Motik, Riccardo Rosati

Browse the full IJCAI paper archive.