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.

ตัวอย่าง

กฎ DL ในฐานความรู้ก่อนหน้านี้ SWRL:
  • (1) ผัก (x) ผลิตภัณฑ์ปลา∧ (y) magNicht → (x, y)
  • (3) hatBestellt (x, y) →ศาล (y)
  • (4) magNicht (x, z) หลักสูตร∧ (y) รวมถึง∧ (y, z) → magNicht (x, y)
  • (5) →มังสวิรัติ (Markus)
  • (6) มีความสุข (x) ∧ไม่พอใจ (x) →
กฎข้อ (2) hatBestellt(x,y) ∧ magNicht(x,y) → Unglücklich(x) ไม่ได้เป็นกฎ DL

หมายเหตุ: รายละเอียดกฎ SROIQ Logic ต้องแน่นอนหลังจากการแปลงไปเป็นเงื่อนไขของการที่ง่ายและปกติบทบาท RBoxen ตอบสนอง!

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.