CHƯƠNG 6 ONTOLOGY VÀ OWL
6.3.3Ba mô hình với OWL
OWL được xem như là một kỹ thuật trọng yếu để cài đặt cho Semantic Web trong tương lai. OWL được thiết kế đặc biệt để cung cấp một cách thức thông dụng trong việc xử lý nội dung thông tin của Web. Ngôn ngữ này được sẽ cho phép các hệ thống máy tính có thể hiểu
được ngữ nghĩa thông tin do tài liệu OWL được viết bởi XML. Hiện nay có ba mô hình ngôn ngữ OWL: OWL Lite, OWL DL (description logic), và OWL Full. Các lớp ngôn ngữ này tăng
độ phức từđơn giản đến phức tạp.
§ OWL Lite: hỗ trợ cho biểu diễn dạng thông tin cần sự phân lớp theo thứ bậc và các ràng buộc đơn giản. Điều này cho phép cung cấp các công cụ hỗ trợ OWL Lite dễ dàng hơn so với các phiên bản OWL khác bản khác.
§ OWL DL (OWL Description Logic): hỗ trợ cho việc duy trì tính tính toán toàn vẹn và tính quyết định OWL DL bao gồm tất cả các cấu trúc của ngôn ngữ OWL, ví dụ: Trong khi một lớp có thể là một lớp con của rất nhiều lớp, một lớp không thể là một thể hiện của một lớp khác. OWL DL cũng phù hợp tương ứng với logic mô tả.
§ OWL Full không cần đảm bảo sự tính toán của các biểu thức. Ví dụ, trong OWL Full, một lớp có thể được xem xét đồng thời như là một tập của các cá thể và như là một cá thể trong chính bản thân nó. OWL Full cho phép một bản thể tăng cường ý nghiã của các từ vựng được định nghĩa trước (RDF hoặc OWL). OWL Full là lớp ngôn ngữ phức tạp OWL phức tạp nhất trong 3 lớp ngôn ngữ.
Ngôn ngữ OWL Lite giới hạn các giá trị trong tập là 0 hoặc 1. Đối với tập nhỏ nhất, đặc tả rỗng (nothing) tương đương với đặc tả 0, vì vậy chỉ cần thiết để đặt tả tham gia bắt buộc.
Đối với tập lớn nhất, đặc tả rỗng tương đương với không giới hạn (unbounded). Nếu tập lớn nhất là 1 nghĩa là đó là một giá trị kết hợp lớn nhất. Nhìn chung, giới hạn tập lớn nhất là 0 thì không nên sử dụng vì nó cấm việc tham dự.
6.3.4 Ví dụ
Ta xem xét ví dụđơn giản về sinh viên đăng kí học và các môn học được quản lý bởi các khoa. Khoa khoa học máy tính là một khoa. Mỗi sinh viên phải học ít nhất một môn, và một sinh viên chính qui (full time) phải học từ 3 đến 5 môn. Để biểu diễn tình huống này trong OWL.
Hình 5.6 Tài liệu OWL mô tả quản lý học tập của sinh viên
Hình 5.6 ở trên đã mô tả tất cả các ràng buộc ngoại trừ một sinh viên phải học ít nhất một môn. Tài liệu OWL dưới đây bổ sung ràng buộc đó.
Tuy nhiên, khai báo một lớp nặc danh mới của các sinh viên học ít nhất một môn. Khi biết domain của takes là Student, ta có thể tham chiếu lớp nặc danh ở trên là lớp con của Student. Tuy nhiên, điều đó cũng chưa nói nên một sinh viên phải học ít nhất một môn. Để
thực hiện yêu cầu này, ta phải bổ sung sinh viên là một lớp con của lớp nặc danh ở trên. Một trong những tiên đề của OWL được sử dụng:
Hình 5.7: Sinh viên là một lớp con của lớp nặc danh
Như đã bàn ở trên, ta có thể trình bầy định nghĩa các sinh viên full-time theo biểu thức phức tạp sau đây:
<owl:Class rdf:ID=”FullTimeStudent”
Hình 5.8: Lớp Fulltime Student
Ta thêm lớp về các môn học được cung cấp bởi khoa Khoa học máy tính (CS)
Hình 5.9: Lớp Fulltime Student
Các sinh viên full-time ngành khoa học máy tính có thểđược định nghĩa là các sinh viên chỉ học các môn của khoa Khoa học Máy tính.
Hình 5.10: Lớp CSFulltimeStudent