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 SROIQ (I)

ขาเข้า: กฎ Logic รายละเอียด
  1. normalizing กฎ
  2. สำหรับคู่ของแต่ละตัวแปร x และ y :
    มี x และ y ไม่ได้เชื่อมต่อในกราฟพึ่งพาคือมีเส้นทางระหว่างไม่มี x และ y แล้วเพิ่มในเรือ U(x,y)
  3. หัวหน้าควบคุมอยู่ในขณะนี้ในรูปแบบของ D(z) และ S(z,z') .
    สำหรับอะตอมของแต่ละ R(x,y) ในร่างกาย:
    ถ้าเส้นทางการพึ่งพากราฟ z ที่ y จะสั้นกว่าของ z ที่ x ดังนั้นแทนที่ R(x,y) ของ R (y,x) .
  4. ถ้าเรือเป็นอะตอม R(x,y) ที่เกิดขึ้นเพื่อให้ y เกิดขึ้นในอะตอมอื่น ๆ ของกฎสองหลัก:
    • ถ้าร่างกายของ n อะตอมหลัก C 1 (y),...,C n (y) ที่มีกำหนดแล้ว \ (E: C_1 = \ sqcap \ \ ldots sqcap C_n \) และลบ C 1 (y),...,C n (y) จากร่างกาย มิฉะนั้นกำหนด \ (E = \ \ top)
    • แทนที่ R(x,y) โดย ∃RE(x) .
    ทำซ้ำขั้นตอนที่ 4 จนกว่าจะมีเช่น R(x,y) เป็น

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.