Description Logic Programs (DLP)