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.

\ (\ mathcal {ALC} \) Hierarchy บทบาท +

การตั้งชื่อ: \ (\ mathcal {ALCH} \)

สำหรับบทบาทของ \ (R, S \)

  • ความจริงการรวมบทบาท (RIA) ที่ชี้แนะโดย \ (r \ sqsubseteq s \)
  • \ (r \ equiv s \) เป็นคำย่อของ \ (r \ sqsubseteq s \) และ \ (s \ sqsubseteq r \)

การตีความ \ (\ mathcal {I} \) entails \ (r \ sqsubseteq s \) IFF \ (^ r \ mathcal {I} \ subseteq S ^ \ mathcal {I} \)

นกฮูกสร้าง: rdfs: subPropertyOf


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.