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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.