X. CÔNG CỤ HỖ TRỢ ONTOLOGY
b. Các tính năng của Pellet
Pellet có các tính năng mà giải quyết được các yêu cầu của một Semantic Web cũng như các vấn đề gặp phải trong Semantic Web.
Phân tích và sửa chữa Ontology: Tất cả các tri thức cơ sở OWL được mã hóa như dưới dạng các đồ thị RDF/XML. OWL DL phải tuân theo một số hạn chế trên các đồ thị RDF, ví dụ như các ràng buộc về disjoint trên một tập tên các lớp. Việc đảm bảo rằng một tài liệu RDF/XML có đáp ứng tất cả các ràng buộc hay không là một công việc tương đối khó khăn. Pellet có chức năng giúp đỡ repair các tài liệu vi phạm các ràng buộc này.
Xác minh lớp: đây là một quá trình rất phức tạp bao gồm nhiều bước, Pellet sẽ phân loại các tri thức có trong ontology ra thành các lớp khác nhau.
Sự kế thừa theo thứ tự: Trong Semantic Web đây chính là chìa khóa cho việc suy diễn ngữ nghĩa. Tuy nhiên hầu hết các bộ suy diễn đều chưa hỗ trợ tính năng này.
Truy vấn liên hợp ABox: việc trả lời các câu truy vấn cũng là một tính năng quan trọng khác đối với Semantic Web. Pellet đã cài đặt module trả lời các câu truy vấn ABox sử dụng kĩ thuật “rolling- up”. Họ đã đưa ra một thuật toán để tối ưu hóa các truy vấn bằng cách thay đổi phù hợp các ứng cử viên cho các biến có thể được tìm thấy và thử. Khai thác sự phụ thuộc giữa các biến khác nhau giúp
Lương Trí Quân – Lớp Cao Học CNTT K6 Trang 30
giảm được tổng số test được thực hiện và do đó làm tăng tốc độ trả lời một cách rõ rệt.
Suy diễn kiểu dữ liệu: XML Schema là một tập các kiểu dữ liệu cơ bản bao gồm nhiều loại dữ liệu số (số nguyên, số thực), chuỗi, kiểu ngày giờ. Nó cũng cung cấp một vài cơ chế cho phép tạo mới các kiểu dữ liệu. Ví dụ ta có thể định nghĩa một kiểu dữ liệu mới bằng cách thêm vào một vài ràng buộc, ví dụ như một xâu phải thỏa mãn một biểu thức chính quy nào đó hay một kiểu số nguyên phải là một số có 10 kí tự số. Hiện nay hệ thống XML Schema có xu hướng xác nhận độ chính xác tài liệu và sinh ra các PSVI thay vì kiểm tra kiểu dữ liệu. Pellet có thể kiểm tra được tính thỏa mãn của các liên hợp như vậy.
Các kiểu dữ liệu đơn giản do ngƣời dùng tự định nghĩa: Vấn đề chính trong việc tạo các kiểu dữ liệu người dùng đó là làm sao để định nghĩa URI cho các định nghĩa XML Schema. Trong Pellet đã áp dụng giải pháp sử dụng DAML + OIL để xác định URI của một kiểu dữ liệu được xây dựng từ URI của tài liệu XML Schema và tên của kiểu dữ liệu đơn giản đó.
Truy vấn đã Ontology sử dụng E-Connections: một E- Connection là một ngôn ngữ mô tả tri thức được định nghĩa là sự kết hợp của các hình thức logic khác. Pellet sử dụng E-Connections như một ngôn ngữ cho việc định nghĩa và tạo các kết nối giữa các ontology OWL-DL, đó là một kiểu kêt nối tri thức chứ không phải kết nối logic. Phương pháp tiếp cận này cung cấp một lựa chọn khác thay cho owl:imports để mang tất cả các axioms từ ontology được import.
Debug Ontology: Phát hiện được các khái niệm không thỏa mãn trong một ontology là một tác vụ có thể thực hiện trực tiếp. Tuy nhiên việc chuẩn đoán và giải quyết các lỗi thường không được hỗ trợ. Ví dụ không có một giải thích nào được đưa ra là tại sao lại xảy ra lỗi hay sự phụ thuộc giữa các class như thế nào gây ra lỗi. Pellet cung cấp hỗ trợ chó cả hai tác vụ này bảng cách định vị các axiom gâp ra sự không nhất quán và mối quan hệ giữa các khái niệm không thỏa mã. Hiện tại tính năng này đã được cung cấp trong Swoop, một nhánh phát triển của Pellet, nó cho phép người dùng debug ontology.
Lương Trí Quân – Lớp Cao Học CNTT K6 Trang 31