Reasoner for DL-Programs with DL-Lite-Ontologies