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 (II)

กฎขณะนี้คุณสามารถแสดงใน SROIQ:
  • ถ้าหัวควบคุมอยู่ในหลักเดียวกฎมีรูปแบบ
    C 1 (x) ∧ ... ∧ C n (x) → D(x) .
    แทนที่ด้วย \ (C_1 \ sqcap \ \ ldots sqcap C_n \ sqsubseteq D \)
  • ถ้าหัวมักจะเป็นตัวเลขสองหลักแล้ว
    • สำหรับแต่ละเอก Atom C(z) ในลำตัว:
      สร้างความจริงใหม่ C ≡ ∃R C .Self (บทบาทของ R C เป็นของใหม่)
      และแทนที่ C(z) โดย R C (z,z) .
    • กฎนี้มีรูปแบบ
      R 1 (x,x 2 ) ∧ ... ∧ R n (x n ,y) → S(x,y) .
      แทนที่ด้วย \ (R_1 \ circ \ \ ldots R_n circ \ sqsubseteq S \)
การเปลี่ยนแปลงของกฎ SWRL ในฐานความรู้นี้จะไม่เปลี่ยน satisfiability ของ

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.