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 (นอกเหนือจากสีแดง = Shoin)

การแสดงออกในชั้นเรียน
ชื่อชั้น A, B
ร่วม C \ (\ sqcap \) D
ความร้าวฉาน C \ (\ sqcup \) D
การปฏิเสธ ¬ C
Exist Rollenrestr ∃ RC
ม. Rollenrestr ∀ RC
ตนเอง ∃ S.Self
ที่ยิ่งใหญ่กว่า ≥ n เซาท์แคโรไลนา
น้อยกว่า ≤ n เซาท์แคโรไลนา
น้อย {}
บทบาท
ชื่อบทบาท R, S, T
บทบาทที่เรียบง่าย S, T
บทบาทที่ตรงกันข้าม R -
บทบาทของยูนิเวอร์แซ U
TBox (สัจพจน์ชั้น)
รวม C \ (\ sqsubseteq \) D
สมดุล C ≡ D
Rbox (สัจพจน์บทบาท)
รวม R1 \ (\ sqsubseteq \) R2
eneral รวม \ (R_1 ^ {(-)} \ circ \ \ ldots circ R_n ^ {(-)} \ sqsubseteq r \) R
กริยา Tra (R)
สมมาตร Sym (R)
reflexivity Ref (R)
Irreflexivity IRR (S)
ทำเคลื่อน Dis (S, T)
Abox (ข้อเท็จจริง)
สมาชิกชั้น C ()
ความสัมพันธ์ของบทบาท R (A, B)
neg ความสัมพันธ์ของบทบาท ¬ S (A, B)
ความเท่าเทียมกัน ≈ b
ความไม่เสมอภาค \ (\ ไม่ได้ \ approx \) b

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.