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.

กฎง่ายๆด้วย SROIQ

ทั้งหมดสัจพจน์ SROIQ สามารถเขียนเป็นกฎ SWRL:
  • C \ (\ sqsubseteq \) D คือ C (x) → D (x)
  • r \ (\ sqsubseteq \) S เป็น r (x, y) → S (x, y)
เรียนบางคนอาจจะ "รื้อถอน" ในกฎ:
  • มีความสุข \ (\ sqcup \) ไม่พอใจ \ (\ sqsubseteq \) สอดคล้อง⊥
    มีความสุข (x) ∧ไม่พอใจ (x) →
  • สถานที่∃ที่อยู่อาศัย LiegtIn.EULand ∃ \ (\ sqsubseteq \) สอดคล้องกับสหภาพยุโรปพลเมือง
    ถิ่นที่อยู่ (x, y) ∧ liegtIn (y, z) ∧ประเทศสหภาพยุโรป (z) →พลเมืองของสหภาพยุโรป (x)
สัจพจน์ SROIQ บทบาทให้กฎระเบียบเพิ่มเติม:
  • hatMutter hatBruder ◦ \ (\ sqsubseteq \) hatOheim
    สอดคล้อง
    hatMutter(x,y) ∧ hatBruder(y,z) → hatOheim(x,z)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.