Web ngữ nghĩa là một lĩnh vực nghiên cứu phát triển rất nhanh chóng trong những thập niên gần đây. Một lớp quan trọng trong kiến trúc của Web ngữ nghĩa là ngôn ngữ Web Ontology (OWL) được xây dựng dựa trên các logic mô tả. Họ các logic mô tả này là các ngôn ngữ hình thức phù hợp với việc biểu diễn tri thức khái niệm. Vì vậy việc nghiên cứu các ngôn ngữ quy luật hiệu quả cho Web ngữ nghĩa là một vấn đề được nhiều nhà nghiên cứu quan tâm. Bài báo nhằm nghiên cứu và đánh giá Horn-DL trong quan hệ so sánh với các ngôn ngữ có độ phức tạp tương đương. Dựa trên các phân tích chúng tôi kết luận được rằng, khả năng biểu diễn tri thức của ngôn ngữ Horn-DL mạnh hơn hẳn các ngôn ngữ đã đưa ra so sánh.