NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics