Logic mô tả (D) [5] cho phép lập luận với các kiểu dữ liệu cụ thể, chẳng hạn như kiểu chuỗi, kiểu số nguyên, … được gọi là miền cụ thể.
Định nghĩa 2.6 (Miền cụ thể) Một miền cụ thể, ký hiệu D, là một cặp D, D, trong đó ΔDlà một tập xác định, gọi là miền thể hiện và D là tập các vị từ cụ thể
n ngôi d xác định trên
n
D, n 1.
Ví dụ 2.3 Vị từ một ngôi ≥65 xác định trên miền thể hiện ℕ các số tự nhiên (ΔD = ℕ) để biểu diễn tập hợp các số nguyên lớn hơn hoặc bằng 65. Như vậy, Nguoi
⊓ Tuoi.≥65 để chỉ người có tuổi lớn hơn hoặc bằng 65.
Gọi C, Ra, Rc, Ia và Ic là các tập hữu hạn khác rỗng và tách rời nhau từng đôi một tương ứng là tập các khái niệm, tập các tên vai trò trừu tượng, tập các tên vai trò cụ thể, tập các tên cá thể trừu tượng và tập các têncá thể cụ thể.
Chẳng hạn như Nguoi, Bacsi là các khái niệm và Cocon là vai trò trừu tượng.
Vai trò trừu tượng là tên vai trò trừu tượng hoặc nghịch đảo S của vai trò trừu tượng S (các vai trò cụ thể không có nghịch đảo).
Định nghĩa 2.7 (Khái niệm) Khái niệm của (D) được định nghĩa bởi các quy tắc cú pháp sau đây:
C→⊤ | ⊥ | A | C1 ⊓ C2 | C1⊔C2 | C |
R.C | R.C | (≥ n S) | (≤ n S) | {a1, a2, . . . , an} |
(≥ n T ) | (≤ n T ) | T1, T2, . . . , Tn.D | T1, T2, . . . , Tn.D
D →d| {c1, c2, ..., cn} trong đó A là khái niệm nguyên tố, R là vai trò trừu tượng, S là vai trò đơn giản trừu tượng, Ti là các vai trò cụ thể, d là một vị từ miền cụ thể, ai là cá thể trừu tượng và ci là cá thể cụ thể và nℕ.
Ví dụ 2.4 Xét các khái niệm sau:
Cay ⊓ (Cao.(≥5m ⊓ ≤10m)) ⊓ Lamau.Vang) biểu diễn các cây có chiều cao từ 5 mét đến 10 mét và có lá màu vàng. Trong đó ≥5m và ≤10m là các vị từ miền cụ thể.
Xehoi⊓ Tocdo.250Km/h biểu diễn các xe hơi có tốc độ tối đa 250 km/h.
Chú ý: Ta viết (= 1 S) thay cho (≥ 1 S) ⊓ (≤ 1 S).
Định nghĩa 2.8 (RBox) Một Rbox bao gồm một tập hữu hạn các tiên đề bắc cầu trans(R), và các tiên đề bao hàm vai trò có dạng R ⊑ S và T ⊑ U, với R và S
là các vai trò trừu tượng, T và U là các vai trò cụ thể.
Định nghĩa 2.9 (TBox) Một TBox bao gồm một tập hợp hữu hạn các tiên đề bao hàm khái niệm có dạng C⊑D, trong đó C và D là các khái niệm.
Định nghĩa 2.10 (ABox) Một ABox bao gồm một tập hữu hạn các tiên đề khẳng định khái niệm, khẳng định vai trò và các tiên đề đẳng thức, bất đẳng thức cá thể: a:C (hoặc C(a)), (a, b):R (hoặc R(a, b)), (a, c):T (hoặc T(a, b)), a ≈ b
(hoặc a = b) và a ≉ b (hoặc a b).
Định nghĩa 2.11 (Cơ sở tri thức) Một cơ sở tri thức của (D) là bộ ba =
, , .
Ví dụ 2.5 Cho cơsở tri thức = , , , trong đó:
= {Canhtay ⊑ Labophancua.Cothe, Cothe ⊑
Labophancua.Connguoi};
= {(Ngontay, Canhtay): Labophancua, Chan:Cothe};
= {Trans(Labophancua)}. (adsbygoogle = window.adsbygoogle || []).push({});
Ví dụ 2.6 Cho một cơ sở tri thức về sản phẩm sữa như sau: Với TBox gồm:
SPSua ⊑ (=1 NhaSX) (=1 NgaySX);
Suabot ⊔ Suanuoc ⊔ Botandam ⊔ Suachua ⊑ SPSua;
Sualon ⊔ Suahopgiay ⊑ Suabot ⊔Botandam;
Conho ⊔ Colon ⊑ Sualon ⊔ Suahopgiay;
SPSua ⊑ Giaban.Songuyen ⊓ HSD.Kieungay. ABox gồm:
{Susu, Ozela}⊑ Suachua;
{DLGold, HumanaExpert, DielacAlpha, Optimum}⊑ Suabot;
Optimum: SPSua ⊓ Giaban.335⊓ NhaSX.{SuaVietNam};
DielacAlpha: SPSua ⊓ Giaban.265⊓ NhaSX.{SuaVietNam};
Susu: SPSua ⊓ Giaban.25 ⊓ NhaSX.{SuaVietNam};
Ví dụ 2.7 Một cửa hàng trực tuyến sử dụng một cơ sở tri thức logic mô tả để phân loại và mô tả sản phẩm của mình như sau:
Đặt:
C = {Sachgiaokhoa, Sach, Maytinhcanhan, Maytinhxachtay, Dientu,
Sanpham};
Ra= {lienquan, Cungcap };
Rc = ;
Ic = {tb_ai, tb_lp, pc_ibm, pc_hp, ibm, hp}.
= {Sachgiaokhoa⊑Sach; Maytinhcanhan⊔Maytinhxachtay ⊑Dientu;
Maytinhcanhan⊑Maytinhxachtay; Sach⊔ Dientu⊑Sanpham; Sach⊑
Dientu; Sanpham⊑ ≥ 1 lienquan}
= {Sachgiaokhoa(tb_ai); Sachgiaokhoa(tb_lp); lienquan(tb_ai, tb_lp);
Maytinhcanhan(pc_ibm); Maytinhcanhan(pc_hp); lienquan(pc_ibm, pc_hp);
Cungcap(ibm, pc_ibm); Cungcap(hp, pc_hp)}.