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} \) + กริยาบทบาท

การตั้งชื่อ: \ (\ mathcal {ALC} \) + กริยา = \ (\ mathcal {S} \)

สำหรับบทบาท \ (r \)

  • ความจริงกริยาคือแสดงโดย \ (\ text {} ทรานส์ (R) \)

การตีความ \ (\ mathcal {I} \) entails \ (\ text {} ทรานส์ (R) \) IFF

\[(x,y) \in r^\mathcal{I} \wedge (y,z) \in r^\mathcal{I} \rightarrow (x,z) \in r^\mathcal{I}.\]

นกฮูกสร้าง: นกฮูก: TransitiveProperty


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.