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.

Datalog

ข้อ จำกัด กับฮอร์กฎโดยไม่ต้องสัญลักษณ์ฟังก์ชั่น

→กฎ Datalog

Datalog

  • ภาษากฎตรรกะตามเดิมในฐานข้อมูลการอนุมาน
  • ฐานความรู้ ("โปรแกรม Datalog") จากประโยคที่ฮอร์นโดยไม่ต้องสัญลักษณ์ฟังก์ชั่น
  • decidable
  • ที่มีประสิทธิภาพสำหรับข้อมูลจำนวนมากเช่นความซับซ้อนโดยรวมของ OWL Lite (EXPTIME)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.