II.2.5. Cú pháp trừu tượng (Abstract Syntax (Normative))
II.3.3.4. Các sự giới hạn về thuộc tính của OWL Lite
s_ minCardinaliiy «— hasValue
«_ maxCardindlity « cardinaliy
H.3.3. Mô tả ngôn ngữ OWL, Lite
OWL Lite chỉ sử dụng một số đặc tính của ngôn ngữ OWL và có nhiều
sự thu hẹp hơn về việc sử dụng các đặc tính như của OWL DL hoặc OWL Full.
H.3.3.1. Các đặc tính của OWL, Lite và lược đồ RDF
Các đặc tính của OWL Lite đưới đây có quan hệ với lược đồ RDE bao gồm:
«. Cĩass: Một lớp định nghĩa một nhóm các cá thể (individuals) mà hợp với nhau bởi vì chúng chia sẽ một vài thuộc tính. Ví dụ: Deborah và Frank
cả hai là thành viên của lớp Person. Các lớp có thể được tổ chức trong
một sự phân cấp chuyên môn hóa sử dụng swbClassQƒ.. Có một lớp tổng quát nhất được xây dựng sẵn có tên là Thing nghĩa là lớp của tất cả các cá thể và là một lớp cha của tất cả các lớp trong OWL,. Cũng có một lớp
đặc biệt được xây dựng sẵn có tên là Nothing nghĩa là lớp mà không có
các thể hiện (instances) và một lớp con nào của tất cả các lớp trong
OWL._
« rdƒš:subClassOƒ. Sự phân cấp lớp có thể được tạo ra bằng cách tạo một
hoặc nhiều khai báo (statement) mà một lớp là một lớp con của lớp
khác. Ví dụ: lớp Person có thể được phát biểu là một lớp con của lớp
Mammal (động vật có vú). Từ phát biển này có thể suy luận ra rằng nếu một cá thể là một Person, thì nó cũng là một Mammal.
« r4ƒ:Properfy. Các thuộc tính có thể được dùng để phát biểu các mối quan hệ giữa các cá thể hoặc từ các cá thê tới các giá trị đữ liệu. Ví dụ
các thuộc tính gồm: hasChild, hasRelative, hasSibling, và hasAge. Ba thuộc tính đầu có liên quan một thê hiện của lớp Person với một thê hiện khác của lớp Person (và do vậy mới có định nghĩa ObjectProperty), và
GVHD: PGS.TS. Trương Mỹ Dung Trang 42
Luận văn tốt nghiệp: Nghiên cứu về 'Omtology Editor và ứng dụng
thuộc tính cuối (hasAge) có thể liên quan một thể hiện của lớp Person
với một thể hiện của kiểu giá trị số nguyên (và do vậy mới có định nghĩa
DatatypeProperty). Cả hai owl:ObjectProperty và
owl:DatatypeProperty là lớp con của lớp RDF rdf:Property.
«_ rdf§:subProper(yOƒ. Sự phân cấp thuộc tính có thể được tạo bằng cách
tạo một hoặc nhiều khai báo (statemenfs) một thuộc tính là một thuộc tính con (subproperty) của một hay nhiều thuộc tính khác. Ví dụ: hasSibling có thể được phát biểu là một thuộc tính con của hasRelative.
Từ phát biểu này có thể suy luận ra rằng nếu một cá thể có liên quan với
cá thể khác bởi thuộc tính hasSibling, thì nó cũng liên quan với cá thể đó
bởi thuộc tính hasRelative.
»« _ rdƒs:domain. Một domain (miền) của một thuộc tính giới hạn các cá thể mà thuộc tính có thể được ứng dụng. Nếu một thuộc tính liên quan một
cá thể này với cá thể khác, và thuộc tính có một lớp như là một miền của
nó, thì cá thể phải thuộc về lớp đó. Ví dụ: thuộc tính hasChild có thể
được phát biểu để có miền là Mammal (động vật có vú). Từ sự phát biểu
này có thể suy luận ra rằng nếu Frank hasChild Anna, thì Frank phải là Mammail.
« _ rdƒs:range. Phạm vi (range) của một thuộc tính giới hạn các cá thể mà
thuộc tính có thể có như là giá trị của nó. Nếu một thuộc tính liên quan
một cá thể với cá thể khác, và thuộc tính có một lớp như là phạm vi
(range) của nó, thì cá thể đó phải thuộc về phạm vi lớp. Ví dụ: thuộc tính
hasChild có thể được phát biểu để có phạm vi là Mammal. Từ phát biểu
này có thể suy luận ra rằng nếu Louise có liên quan với Deborah bởi
thuộc tính hasChild (nghĩa là, Deborah là con của Louise), thì Deborah
là một Mammail. Phạm vi cũng là một sự giới hạn toàn cục như miền
(domain) ở trên.
«_ imdiyidual: Individuals (cá thể) là các thể hiện của các lớp, và các thuộc tính có thể được dùng để liên hệ một cá thể với một cá thể khác. Ví dụ: một cá thể có tên Deborah có thể được mô tả như là một thể hiện của lớp