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.

ขอบเขตของกฎ Logic รายละเอียด

ไม่ทั้งหมดกฎ SWRL จะแสดงให้เห็น!

ตัวอย่าง:
hatBestellt(x,y) ∧ magNicht(x,y) → Unglücklich(x)
ไม่สามารถแสดงใน SROIQ

การเปลี่ยนแปลงที่เป็นไปได้ในร่างกายของกฎได้อย่างรวดเร็ว
  • บทบาทที่ตรงกันข้ามเช่น enthält(y,z) → enthält (z,y)
  • แขนด้าน "ม้วนขึ้น" เช่น
    liegtIn(y,z) ∧ EULand(z) → ∃liegtIn.EULand(y)
  • แทนที่แนวคิดผ่านม้วนเช่น Mann(x) → R Mann (x,x)
  • สระว่ายน้ำในการรวมบทบาทแปลง (∧แทนที่ด้วย◦)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.