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} \) - TBox

TBox (กล่อง terminological) ประกอบด้วยชุด จำกัด ของสัจพจน์ terminological

สัจพจน์ terminological มีพื้น (ทั่วไป) สัจพจน์รวมแนวคิดแนวความคิดที่กำหนดคือ \ (C \) และ \ (D \) GCIs จะแสดงเป็น

\[C \sqsubseteq D\]


\[C \equiv D\]

ซึ่งเป็นคำย่อของ \ (C \ sqsubseteq D \) และ \ (D \ sqsubseteq C \)

Speaker notes:

Content Tools


There are currently no sources for this slide.