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

Sources

There are currently no sources for this slide.