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:
∃R1.Self ≡ ∃arbeitetIn.Uni
∃R2.Self ≡ ∃anstellung.{FEST}
∃R3.Self ≡ Doktorand

R1(w,w) ∧ R2(w,w) ∧ R3(y,y) ∧ betreutVon−(w,y) → professorVon(w,y)
ขั้นตอนต่อไป:
กฎนี้มีรูปแบบ R 1 (x,x 2 ) ∧ ... ∧ R n (x n ,y) → S(x,y) .
แทนที่ด้วย \ (R_1 \ circ \ \ ldots R_n circ \ sqsubseteq S \)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.