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.

ข้อมูลอย่างย่อ

ขยายคำกริยากฎตรรกะสำหรับ OWL DL

  • Datalog เป็นพิธีที่รู้จักกันดี
  • ร่วมกับนกฮูกที่เป็นไปได้: SWRL
  • คำอธิบายความหมายโดยขยายตรรกะของการตีความนกฮูก
  • SWRL เป็นที่ตัดสิน

กฎ Logic รายละเอียด

  • ausdrückbaresในนกฮูก 2 ส่วน SWRL
  • การสนับสนุนทางอ้อมผ่านทุกนกฮูก 2 เครื่องมือ
  • ความหมายและขั้นตอนวิธีการขึ้นอยู่กับรูปแบบของกราฟพึ่งพา

RIF (รูปแบบการแลกเปลี่ยนกฎ)

  • W3C มาตรฐานสำหรับการแลกเปลี่ยนกฎ
  • ครอบครัวขยายของภาษา

ที่เกี่ยวข้องเพิ่มเติม:

  • SPARQL ระบอบการปกครอง entailment 1.1
  • คำสั่งที่เชื่อมต่อสำหรับ OWL DL
  • กฎ DL-ปลอดภัย (ตัวแปรสามารถใช้ค่าคงที่เพียง แต่เป็นค่า)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.