Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

การออกกำลังกาย

แปลงกฎต่อไปนี้เป็นหลักการ SROIQ:
arbeitetIn(w,x) ∧ anstellung(w,z) ∧ {FEST}(z) ∧ Uni(x) ∧ Doktorand(y) ∧ betreutVon−(w,y) → professorVon(w,y)
ขั้นตอนต่อไป:
ถ้าเรือเป็นอะตอม r (x, y) ที่เกิดขึ้นเพื่อให้ y เกิดขึ้นในอะตอมอื่น ๆ ของกฎสองหลัก:
  • ถ้าร่างกายของอะตอม n หลัก C 1 (y),...,C n (y) ที่มีกำหนดแล้ว \ (E: C_1 = \ sqcap \ \ ldots sqcap C_n \) และลบ C 1 (y),...,C n (y) จากร่างกาย มิฉะนั้นกำหนด \ (E = \ \ top)
  • แทนที่ R(x,y) โดย ∃RE(x) .
ทำซ้ำขั้นตอนที่ 4 จนกว่าจะมีเช่น R(x,y) เป็น

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.