CHƯƠNG 6 ONTOLOGY VÀ OWL
6.3.2Xác định các tính chất dựa trên OWL
Các tính chất liên quan đến các cặp cá nhân. Thuộc tính đối tượng, biến thể hiện của owl:ObjectProperty các biến thể hiện liên quan đến hai lớp. Thuộc tính kiểu dữ liệu, biến thể
hiện của owl:DatatypeProperty, liên quan đến một biến thể hiện của một lớp với một biến thể
hiện của một kiểu dữ liệu. Ngược lại, trong RDF ta có thể khai báo owl:ObjectProperty hoặc owl:DatatypeProperty.
Hình 5.5: Ví dụ về một tài liệu owl với khai báo owl:ObjectProperty
Vùng (domain) và khoảng (range) là các ràng buộc toàn cục do chúng áp dụng đến một tính chất độc lập của lớp với những biến thể hiện mà tích chất đó được áp dụng. Vùng của một tính chất phải là biến thể hiện của owl:Class và owl:Thing trừ khi được mô tả chi tiết. Khoảng của một tính chất đối tượng là biến thể hiện của owl:Class và owl:Thing trừ khi được mô tả
chi tiết. Tuy nhiên, khoảng của một tính chất kiểu dữ liệu là owl:DataRange, đó là lớp con của rdfs:DataType.
OWL cho phép nhiều điều kiện (assertions) về vùng và khoảng của thuộc tính. Những
điều kiện này được thông dịch giao nhau (interpreter conjunctively). Nói cách khác, những thứ trong vùng là một thuộc tính nếu chúng là phép giao của tất cả các vùng; khoảng cũng có tính chất tương tự như vùng.
Phần tử rdf:Property tham chiếu tới một tên thuộc tính như là một URI. Như đã giải thích ở trên, biến thể hiện của một thuộc tính là các cặp các cá thể (individuals): cá thể thứ
nhất là một đối tượng và cá thể thứ hai là một giá trị dữ liệu. Một phần tử rdf:Property có thể
§ Không hoặc hơn rdfs:subPropertyOf phần tử, mỗi phần tử có một tên. Mỗi cặp cá thể là biến thể hiện của thuộc tính được đặt tên trong phần tử chính rdf:Property phải là một biến thể hiện của thuộc tính được đặt tên trong mỗi rdfs:subPropertyOf phần tử. Một owl:ObjectProperty không thể là thuộc tính con của owl:DatatypeProperty và ngược lại.
§ Không hoặc hơn rdfs:domain phần tử. Thành phần đầu tiên của mỗi biến thể hiện mà thuộc tính áp dụng phải trong vùng trạng thái. Nhiều phần tử vùng do đó thông dịch giao nhau.
§ Không hoặc hơn rdfs:range phần tử. Thành phần thứ 2 của mỗi biến thể hiện mà thuộc tính áp dụng phải trong vùng trạng thái. Nhiều phần tử vùng do đó thông dịch giao nhau.
§ Không hoặc hơn owl:equivalentProperty, xác nhận tính tương đương của 2 thuộc tính.
Đây là thuộc tính con của rdfs:subPropertyOf. Do đó, nó phải thỏa mãn ràng buộc đã
được đề cập ở trên về việc không liên quan giữa owl:ObjectProperty với owl:DatatypeProperty.
§ Không hoặc hơn owl:inverseOf phần tử với tên thuộc tính được đảo ngược. Tất cả các thuộc tính phái có owl:Class như vùng của chúng. Chú ý là owl:inverseOf chỉ áp dụng cho owl:ObjectProperty.