Chương trình Datalog là một lớp quan trọng của cơ sở dữ liệu suy diễn và được mở rộng theo nhiều hướng khác nhau. Bài báo tập trung vào việc mở rộng chương trình Datalog bằng cách kết hợp chương trình Datalog với logic mô tả ALC. Chúng tôi đề xuất ngữ nghĩa và phương pháp đánh giá truy vấn cho lớp chương trình này.