Berners-Lee [16] đã chỉ ra rằng một ngôn ngữ được đánh giá là phù hợp cho semantic web phải có những thuộc tính sau:
- Có cú pháp chặt chẽ, - Có ngữ nghĩa rõ ràng,
- Có khả năng diễn đạt tốt để biểu diễn tri thức của nhân loại, - Có cơ chế lập luận hiệu quả và có thể hiểu được,
- Có thể sử dụng để xây dựng những cơ sở tri thức lớn.
Tất cả những thuộc tính trên, chúng ta có thể thấy chúng trong các ngôn ngữ mở rộng của logic mô tả. Vì thế, logic mô tả và các ngôn ngữ mở rộng của nó đã trở thành những ngôn ngữ phổ biến được dùng trong semantic web.
Như ta đã biết ở các phần trên, logic mô tả là họ của các ngôn ngữ biểu diễn tri thức, được trang bị những định nghĩa, những mô hình lý thuyết phục vụ cho việc biểu diễn tri thức và lập luận. DL được đặc trưng bởi những cấu trúc mà chúng cung cấp để xây dựng những mô tả phức tạp. Những ontology là nòng cốt cho web ngữ nghĩa gồm những cấu trúc, sự tích hợp và những tiến trình quan trọng từ tính hợp lý của những định nghĩa rõ ràng và những công cụ lập luận mạnh. Logic mô tả có vai trò rất lớn trong ontology. Do đó, chúng là ý tưởng logic, nền tảng cho những ngôn ngữ semantic web ontology.
- 46 -
Thông thường, những ngôn ngữ ontology như OIL, DAML + OIL và OWL sử dụng mô hình lý thuyết theo kiểu logic mô tả. Điều này đem đến sự hiệu quả của các ngôn ngữ này, từ đó cho phép ontology và những chú thích sử dụng từ điển, các ràng buộc được định nghĩa trong ontology để chia sẽ và trao đổi cho nhau, nhưng không gây ra tranh luận về ngữ nghĩa chính xác của chúng.
Nghiên cứu về logic mô tả và các biến thể của chúng có ảnh hưởng rất lớn đến việc thiết kế các ngôn ngữ Web ontology. Những ảnh hưởng này không chỉ ảnh hưởng về mặt hình thức ngữ nghĩa mà ảnh hưởng đến việc lựa chọn cấu trúc ngôn ngữ và sự tích hợp kiểu dữ liệu, giá trị của dữ liệu. Do đó, OIL, DAML + OIL và OWL có thể được xem như là những logic mô tả mở rộng với cú pháp web. Trong số các ngôn ngữ semantic web ontology, OWL là ngôn ngữ đặc biệt quan trọng và nó đã được nâng cấp thành một chuẩn cho những ontology biểu diễn trong semantic web.
