II.2.5. Cú pháp trừu tượng (Abstract Syntax (Normative))
của OWL, Life (OWL Lite Equality và Inequality)
„ OWL Lite hỗ trợ cho việc chuyên biệt hoá hệ thống thứ bậc và các ràng buộc đơn giản. Ví dụ: trong khi nó hỗ trợ các ràng buộc bản số
(cardinality), nó chỉ cho phép bản số có các giá trị 0 hoặc 1. Bản số là
một công cụ đơn giản hễ trợ cho các mối quan hệ trong OWL, Lite. OWL, Lite ít phức tạp hơn OWL DL.
„« _OWL DL, hỗ trợ sự biểu diễn cao trong khi giữ được tất cả các kết quả
được bảo đảm có thể tính toán (computational completeness) và tính dễ
quyết định (tất cả các tính toán sẽ kết trong thời gian hữu hạn). OWL
DL bao gồm tắt cả các ngôn ngữ OWL, nhưng chúng có thể được chỉ dùng dưới những sự hạn chế nhất định (Ví dụ: trong khi một lớp có thể
là một lớp con của nhiều lớp, một lớp không thể là một thể hiện
(instance) của lớp khác). OWL DL có tên dựa vào sự tương ứng của nó
với sự mô tả lôgic (Description Logic).
» _OWL Full được dùng biểu diễn đầy đủ cú pháp của RDF mà không có
sự bảo đảm trong việc tính toán. Ví dụ: trong OWL Full, một lớp có thể
xử lý đồng thời như là một tập hợp của các cá thể (individual) và trong
khi một cá thê cũng là chính nó. OWL, Full cho phép một ontology làm
tăng ý nghĩa từ vựng được định nghĩa trước (RDEF hoặc OWL). Nó không giống như bất kỳ một phần mềm suy luận có khả năng hỗ trợ suy
luận trên mỗi tính năng của OWL Full.
Mỗi ngôn ngữ con này là một sự mở rộng theo thứ tự OWL Lite,OWL DL và
OWL Full. Dưới đây là một tập các mối quan hệ của các ngôn ngữ OWL. Điều
ngược lại của chúng thì không đúng.
«ồ Mỗi OWL Lite ontology hợp pháp là một OWL, DL ontology hợp pháp. „ Mỗi OWL DL ontology hợp pháp là một OWL Full ontology hợp pháp. « Mỗi kết luận OWL Lite hợp lệ là một kết luận OWL DL hợp lệ.
-_ Mỗi kết luận OWL DL hợp lệ là một kết luận OWL Full hợp lệ.
GVHD: PGS.TS. Trương Mỹ Dung Trang 39