Following our convension, let C , D

Following our convension, let C , D be OWL classes (treated as atomic concepts), R, S be OWL object properties (treated as atomic roles) and K , L be OWL datatype properties (treated as atomic roles). Similarly, let a, b, c, vop be individuals and vdp be a data value.

Kết quả (Việt) 1:

Sau convension của chúng tôi, giả sử C, D là các lớp học OWL (được coi là nguyên tử khái niệm), R, S là thuộc tính đối tượng OWL (được coi là vai trò nguyên tử) và K, L là OWL loại dữ liệu thuộc tính (được coi là vai trò nguyên tử). Tương tự như vậy, để cho a, b, c, vop là cá nhân và vdp là một giá trị dữ liệu.

Kết quả (Việt) 2:

Sau convension của chúng tôi, hãy để C, D là các lớp OWL (coi như là khái niệm nguyên tử), R, S là thuộc tính đối tượng OWL (coi như vai trò nguyên tử) và K, L được tính datatype OWL (coi như vai trò nguyên tử). Tương tự như vậy, để cho a, b, c, Vọp là các cá nhân và VDP là một giá trị dữ liệu.