ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


ไวยากรณ์และความหมาย

ไวยากรณ์: สตริงตัวอักษรโดยไม่มีความหมาย
ความหมาย: ความหมายของสตริงตัวอักษร




ความหมายของภาษาโปรแกรม



ความหมายของลอจิก



Recall: ความรู้โดยนัย

ถ้าเอกสาร RDFS มีอเนกประสงค์

u rdf:type ex:Textbook .

และ

ex:Textbook rdfs:subClassOf ex:Book .

แล้วก็

u rdf:type ex:Book .

โดยปริยายยังเป็นกรณี: มันเป็นเหตุผลสำคัญ นอกจากนี้เรายังสามารถพูดได้ว่ามันจะอนุมาน (หัก) หรือเหมา (อนุมาน) เราไม่ได้มีการระบุอย่างชัดเจนนี้ ผลที่ตามตรรกะที่งบถูกควบคุมโดยความหมายอย่างเป็นทางการ



Recall: ความรู้โดยนัย

จาก

ex:Textbook  rdfs:subClassOf  ex:Book .
ex:Book      rdfs:subClassOf  ex:PrintMedia .

ต่อไปนี้เป็นเหตุผลสำคัญ:

ex:Textbook rdfs:subClassOf ex:PrintMedia .

นั่นคือ rdfs: subClassOf เป็นสกรรมกริยา



ความหมายอะไรเป็นสิ่งที่ดี

ความคิดเห็นที่แตกต่างกัน ที่นี่หนึ่งคือ:

เว็บแบบ Semantic ต้องใช้ร่วมกันได้ความหมายที่เปิดเผยและคำนวณ

นั่นคือความหมายที่จะต้องเป็นนิติบุคคลที่เป็นทางการซึ่งถูกกำหนดให้อย่างชัดเจนและคำนวณโดยอัตโนมัติ

ภาษาอภิปรัชญาให้นี้โดยวิธีการของความหมายอย่างเป็นทางการของพวกเขา

ความหมายความหมายเว็บจะได้รับจากความสัมพันธ์ความสัมพันธ์เหตุผลสำคัญ



ในคำอื่น ๆ ...

เราจับความหมายของข้อมูล

  • ไม่ได้โดยระบุความหมายของมัน (ซึ่งเป็นไปไม่ได้)
  • โดยระบุว่าข้อมูลโต้ตอบกับข้อมูลอื่น

เราอธิบายความหมายโดยอ้อมผ่านผลกระทบของมัน



ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


ความหมายแบบทฤษฎี

คุณจำเป็นต้องมี:

  • ภาษา / ไวยากรณ์
  • ความคิดของแบบจำลองสำหรับประโยคของภาษา

รุ่น

  • จะทำเช่นนั้นแต่ละประโยคเป็นทั้งที่แท้จริงของ WRT เท็จรูปแบบที่กำหนด
  • ถ้าประโยค \ (\ alpha \) เป็นจริงในรูปแบบ \ (M \) แล้วเราเขียน \ (M \ รุ่น \ alpha \)

เหตุผลสำคัญ

  • \ (\ \ beta) เป็นผลตรรกะของ \ (\ alpha \) (เขียน \ (\ alpha \ \ models \ beta)) ถ้า \ (\ forall M: M \ รุ่น \ alpha \ Rightarrow M \ models \ beta \)
  • ถ้า \ (K \) คือชุดของประโยคที่เราเขียน \ (K \ \ models \ beta) ถ้า \ (\ forall M: M \ รุ่น K \ Rightarrow M \ models \ \ beta)
  • ถ้า \ (J \) คือชุดของประโยคอื่นเราเขียน \ (K \ รุ่น J \) ถ้า \ (\ forall \ beta \ in J: K \ \ models \ beta)

หมายเหตุ: สัญกรณ์ \ (\ models \) มีมากเกินไป



เหตุผลสำคัญ



ทฤษฎีรูปแบบเช่น (ประดิษฐ์)

ภาษา

  • ตัวแปร \ (\ ldots, W, X, y, z, \ ldots \)
  • สัญลักษณ์ \ (\ กทพ. \)
  • ประโยคอนุญาต: \ (\ mathop {\ กทพ. } b \) สำหรับ \ ((b) \) ตัวแปรใด ๆ

เราต้องการที่จะรู้ว่า

  • อะไรคือผลเชิงตรรกะของชุด \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \)

เพื่อที่จะตอบนี้เราต้องพูดในสิ่งที่รูปแบบในความหมายของเราคือ



ทฤษฎีรูปแบบเช่น (ประดิษฐ์)

พูดแบบ \ (I \) ชุด \ (K \) ของประโยคประกอบด้วย

  • ชุด \ (C \) ของรถยนต์และ
  • ฟังก์ชั่น \ (I (\ cdot) \) ซึ่งแมปแต่ละตัวแปรไปที่รถใน \ (C \) ดังกล่าวว่าสำหรับแต่ละประโยค \ (\ mathop {\ กทพ. } b \) ใน \ (K \) เรา มีที่ \ (I () \) มีแรงม้ามากกว่า \ (I (ข) \)

ตอนนี้เราอ้างว่า \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \ models x \ mathop {\ กทพ. } z \)

หลักฐาน: พิจารณารูปแบบใด ๆ \ (M \) ของ \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \) ตั้งแต่ \ (M \ \ models {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \) เรารู้ว่า

  • \ (M (x) \) มีแรงม้ามากกว่า \ (M (y) \) และ
  • \ (M (y) \) มีแรงม้ามากกว่า \ (M (z) \)

ดังนั้น \ (M (x) \) มีแรงม้ามากกว่า \ (M (z) \) นั่นคือ \ (M \ รูปแบบ x \ mathop {\ กทพ. } z \)

เรื่องนี้ถือทุกรุ่นของ \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \) ดังนั้น \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \ รูปแบบ x \ mathop {\ กทพ. } z \)



ทฤษฎีรูปแบบเช่น (ประดิษฐ์)

พูดแบบ \ (I \) ชุด \ (K \) ของประโยคประกอบด้วย

  • ชุด \ (C \) ของรถยนต์และ
  • ฟังก์ชั่น \ (I (\ cdot) \) ซึ่งแมปแต่ละตัวแปรไปที่รถใน \ (C \) ดังกล่าวว่าสำหรับแต่ละประโยค \ (\ mathop {\ กทพ. } b \) ใน \ (K \) เรา มีที่ \ (I () \) มีแรงม้ามากกว่า \ (I (ข) \)

การตีความ \ (I \) สำหรับภาษาของเราประกอบด้วย

  • ชุด \ (C \) ของรถยนต์และ
  • ฟังก์ชั่น \ (I (\ cdot) \) ซึ่งแมปแต่ละตัวแปรไปที่รถใน \ (C \)

และที่มัน ข้อมูลไม่ว่าจะเป็นประโยคที่เป็นจริงหรือไม่ไม่มี WRT \ (I \)



ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


ความหมายแบบทฤษฎีนำไปใช้ RDF (S)

ภาษา: ถูกต้อง RDF (S)

ประโยคที่มีความอเนกประสงค์กราฟเป็นชุดดังกล่าว


การตีความจะได้รับผ่านทางชุดและการทำงานจากคำศัพท์ภาษาชุดนี้

รุ่นที่มีการกำหนดเช่นที่พวกเขาจับความหมาย intendet ของคำศัพท์ RDF (S)

สามความคิดที่แตกต่างกัน:




การตีความง่าย

การตีความง่าย \ (\ mathcal {I} \) ของคำศัพท์ที่กำหนด \ (V \) ประกอบด้วย:
  • \ (\ mathit {IR} \), ชุดที่ไม่ว่างเปล่าของทรัพยากรหรือเรียกว่าโดเมนหรือจักรวาลของ discurse ของ \ (\ mathcal {I} \)
  • \ (\ mathit {IP} \) ชุดของ roperties ของ \ (\ mathcal {I} \) (ซึ่งอาจทับซ้อนกับ \ (\ mathit {IR} \))
  • \ (\ mathrm {I_ {EXT}} \), ฟังก์ชั่นการกำหนดให้สถานที่ให้บริการในแต่ละชุดของคู่จาก \ (\ mathit {IR} \) นั่นคือ \ (\ mathrm {I_ {EXT}}: \ IP mathit { } \ longrightarrow 2 ^ {\ mathit {IR} \ times \ mathit {IR}} \) ที่ \ (\ mathrm {I_ {EXT}} (p) \) เรียกว่าเป็นส่วนหนึ่งของสถานที่ให้บริการ \ (p \)
  • \ (\ mathrm {I_S} \), ฟังก์ชั่นการทำแผนที่จากยูริ \ (V \) เป็นสหภาพของชุด \ (\ mathit {IR} \) และ \ (\ mathit {IP} \) นั่นคือ \ (\ mathrm {} I_S: V \ longrightarrow \ mathit {IR} \ ถ้วย \ mathit {IP} \)
  • \ (\ mathrm {I_L} \), ฟังก์ชั่นจากตัวอักษรที่พิมพ์ใน \ (V \) เป็นชุด \ (\ mathit {IR} \) ทรัพยากรและ
  • \ (\ mathit {LV} \), ส่วนย่อยเฉพาะของ \ (\ mathit {IR} \) เรียกชุดของค่าตัวอักษรที่มี (อย่างน้อย) ตัวอักษร untyped ทั้งหมดจาก \ (V \)


ฟังก์ชั่นการแปลความหมายง่ายๆ

ฟังก์ชั่นการตีความง่าย \ (\ cdot ^ \ mathcal {I} \) (เขียนเป็นเลขยกกำลัง) ถูกกำหนดให้เป็นดังต่อไปนี้:
  • ทุก untyped อักษร \ ("\! \! \! \!" \) เป็นแมปไปยัง \ (\) อย่างเป็นทางการ \ (("\! \! \! \!") ^ {\ mathcal {I} } = \)
  • ทุก untyped ข้อมูลตัวอักษรภาษาแบก \ ("\! \! \! \" \! \! @ \ t) จะถูกแมปไปยังคู่ \ (\ langle, เสื้อ rangle \ \)
  • ทุกตัวอักษรที่พิมพ์ \ (l \) จะถูกแมปไปยัง \ (\ mathrm {} I_L (l) \) อย่างเป็นทางการ \ (l ^ \ mathcal {I} = \ mathrm {} I_L (l) \) และ
  • ทุก URI \ (มึง \) จะถูกแมปไปยัง \ (\ mathrm {I_S} (U) \) นั่นคือ \ (U ^ \ mathcal {I} = \ mathrm {I_S} (U) \)


การตีความง่าย



รุ่นที่เรียบง่าย

ค่าความจริง \ ((s \, p \, o.) ^ \ mathcal {I} \) ของ (เหตุผล) สาม \ (s \, p \, o. \) เป็นจริงก็ต่อเมื่อ \ (s \) \ (p \) และ \ (o \) มีอยู่ใน \ (V \) และ \ (\ langle s ^ \ mathcal {I}, o ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT }} (p ^ \ mathcal {I}) \)



รุ่นที่เรียบง่าย

ค่าความจริง \ ((s \, p \, o.) ^ \ mathcal {I} \) ของ (เหตุผล) สาม \ (s \, p \, o. \) เป็นจริงก็ต่อเมื่อ \ (s \) \ (p \) และ \ (o \) มีอยู่ใน \ (V \) และ \ (\ langle s ^ \ mathcal {I}, o ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT }} (p ^ \ mathcal {I}) \)




สิ่งที่เกี่ยวกับต่อมน้ำเปล่า?

พูด \ ((\ cdot) \) เป็นฟังก์ชั่นจากโหนดว่างไว้เพื่อ URIs (ยูริสเหล่านี้ไม่จำเป็นต้องได้รับการบรรจุอยู่ในรูปแบบของกราฟที่เรากำลังมองหาที่.)

ถ้าในกราฟ \ (G \) เราแทนที่แต่ละโหนดว่างเปล่า \ (x \) โดย \ ((x) \) เราได้กราฟ \ (G ^ \ prime \) ซึ่งเรียกว่าดิน ของกรัม

เรารู้วิธีการทำกราฟความหมายสำหรับเหตุผล

ดังนั้นกำหนด \ (I \ รุ่น G \) IFF \ (I \ รุ่น G ^ \ prime \) เป็นเวลาอย่างน้อยหนึ่งดิน \ (G ^ \ prime \) ของ \ (G \)



Entailment ง่าย

กราฟ \ (G \) เพียง entailes กราฟ \ (G ^ \ prime \) ถ้าตีความง่ายทุกที่เป็นรูปแบบของ \ (G \) ยังเป็นรูปแบบของ \ (G ^ \ prime \)

(จำได้ว่าการตีความง่ายๆก็คือรูปแบบของกราฟ \ (G \) ถ้ามันเป็นรูปแบบของสามในแต่ละ \ (G \).)



มันเป็นเรื่องง่าย

โดยทั่วไป \ (G \ รุ่น G ^ \ prime \) IFF \ (G ^ \ prime \) สามารถที่ได้รับจาก \ (G \) โดยการเปลี่ยนบางโหนดใน \ (G \) โดยมีโหนดว่างเปล่า

มันเป็น entailment ง่ายจริงๆ



เงื่อนไข RDF ความหมาย

การแปลความหมายของคำศัพท์ RDF \ (V \) เป็นความหมายที่เรียบง่ายของคำศัพท์ \ (V \ ถ้วย V_ \ mathrm {RDF} \) ว่านอกจากนี้ยังสอดคล้องกับเงื่อนไขต่อไปนี้:
  • \ (x \ in \ mathit {IP} \) IFF \ (\ langle x, \ กริยา | RDF: Property | ^ \ mathcal {I} \ in \ mathrm {I_ {EXT}} (\ กริยา | RDF: ประเภท | ^ \ mathcal {I}) \)
  • ถ้า \ (!! "! \ \ s \ \" \ \ \ verb | ^ ^ RDF: XMLLiteral | \) ที่มีอยู่ใน \ (V \) และ \ (s \) เป็นรูปแบบที่ดี XML ที่แท้จริง แล้ว
    • \ (! \ mathrm {} I_L ("! \ \ s \ \" \ \ \ verb | ^ ^ RDF: XMLLiteral |) \) เป็นค่า XML ของ \ (s \);
    • \ (! \ mathrm {} I_L ("! \ \ s \ \" \ \ \ verb | ^ ^ RDF: XMLLiteral |) \ in \ mathit {LV} \);
    • \ (\ \ langle mathrm {} I_L ("\ \ s \ \!" \ \ \ verb | ^ ^ RDF: XMLLiteral |) \ กริยา | RDF: XMLLiteral | ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT}} (\ กริยา | RDF: ประเภท | ^ \ mathcal {I}) \)
  • ถ้า \ (\ กริยา | ^ ^ RDF "\ \ s \ \!" XMLLiteral | \) ที่มีอยู่ใน \ (V \) และ \ (s \) คือไม่ดีขึ้น XML ที่แท้จริงแล้ว
    • \ (! \ mathrm {} I_L ("! \ \ s \ \" \ \ \ verb | ^ ^ RDF: XMLLiteral |) \ ไม่ได้ \ in \ mathit {LV} \);
    • \ (\ \ langle mathrm {} I_L ("\ \ s \ \!" \ \ \ verb | ^ ^ RDF: XMLLiteral |) \ กริยา | RDF: XMLLiteral | ^ \ mathcal {I} \ rangle \ ไม่ได้ \ in \ mathrm {I_ {EXT}} (\ กริยา | RDF: ประเภท | ^ \ mathcal {I}) \)


อเนกประสงค์ RDF จริง

นอกจากนี้ในแต่ละตีความ RDF มีการประเมินอเนกประสงค์ดังต่อไปนี้เป็นจริง:

RDF: ประเภท
RDF: ประเภท
RDF: Property
RDF: หัวข้อ
RDF: ประเภท
RDF: Property
RDF: คำกริยา
RDF: ประเภท
RDF: Property
RDF: วัตถุ
RDF: ประเภท
RDF: Property
RDF: แรก
RDF: ประเภท
RDF: Property
RDF: ส่วนที่เหลือ
RDF: ประเภท
RDF: Property
RDF: ค่า
RDF: ประเภท
RDF: Property
RDF: _i
RDF: ประเภท
RDF: Property
RDF: ไม่มี
RDF: ประเภท
RDF: รายชื่อ


RDFS สภาพความหมาย (1)

define (สำหรับการตีความ RDF ได้รับ \ (\ mathcal {I} \)):

  • \ (\ mathrm {I_ {}} CEXT: \ mathit {IR} \ longrightarrow 2 ^ \ mathit {IR} \) เรากำหนด \ (\ mathrm {I_ {}} CEXT (y) \) จะมีองค์ประกอบเหล่านั้นว่า \ (x \) ที่ \ (\ langle x, y rangle \ \) ที่มีอยู่ใน \ (\ mathrm {I_ {EXT}} (\ กริยา | RDF: ประเภท |) ^ \ mathcal {I} \) ชุด \ (\ mathrm {I_ {}} CEXT (y) \) จากนั้นก็เรียกว่านามสกุล (ชั้น) ของ \ (y \)
  • \ (\ mathit {IC} = \ mathrm {I_ {}} CEXT (\ กริยา | rdfs: ชั้น | ^ \ mathcal {I}) \)
  • \ (\ mathit {IR} = \ mathrm {I_ {}} CEXT (\ กริยา | rdfs: ทรัพยากร | ^ \ mathcal {I}) \)
  • \ (\ mathit {LV} = \ mathrm {I_ {CEXT} (\ กริยา | rdfs: อักษร | ^ \ mathcal {I})} \)
  • ถ้า \ (\ langle x, y rangle \ \ \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: โดเมน | ^ \ mathcal {I}) \) และ \ (\ langle มึง \ v rangle \ ใน \ mathrm {I_ {EXT}} (x) \) จากนั้น \ (มึง \ in \ mathrm {I_ {}} CEXT (y) \)
  • ถ้า \ (\ langle x, y rangle \ \ \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: ช่วง | ^ \ mathcal {I}) \) และ \ (\ langle มึง \ v rangle \ ใน \ mathrm {I_ {EXT}} (x) \) จากนั้น \ (\ v ใน \ mathrm {I_ {}} CEXT (y) \)
  • \ (\ mathrm {I_ {EXT}} (\ กริยา | rdfs: subPropertyOf | ^ \ mathcal {I}) \) คือสะท้อนและสกรรมกริยาบน \ (\ mathit {IP} \)


RDFS สภาพความหมาย (2)

  • ถ้า \ (\ langle x, y rangle \ \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: subPropertyOf | ^ \ mathcal {I}) \)
    แล้ว \ (x, y \ in \ mathit {IP} \) และ \ (\ mathrm {I_ {EXT}} (x) \ subseteq \ mathrm {I_ {EXT}} (y​​) \)
  • ถ้า \ (x \ in \ mathit {IC} \)
    แล้ว \ (\ langle x, \ กริยา | rdfs: ทรัพยากร | ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: subClassOf | ^ \ mathcal {I}) \)
  • ถ้า \ (\ langle x, y rangle \ \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: subClassOf | ^ \ mathcal {I}) \)
    แล้ว \ (x, y \ in \ mathit {IC} \) และ \ (\ mathrm {I_ {}} CEXT (x) \ subseteq \ mathrm {I_ {}} CEXT (y) \)
  • \ (\ mathrm {I_ {EXT}} (\ กริยา | rdfs: subClassOf | ^ \ mathcal {I}) \) คือสะท้อนและสกรรมกริยาบน \ (\ mathit {IC} \)
  • ถ้า \ (x \ in \ mathrm {I_ {}} CEXT (\ กริยา | rdfs: ContainerMembershipProperty | ^ \ mathcal {I}) \)
    แล้ว \ (\ langle x, \ กริยา | rdfs: สมาชิก | ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: subPropertyOf | ^ \ mathcal {I}) \)
  • ถ้า \ (x \ in \ mathrm {I_ {}} CEXT (\ กริยา | rdfs: ประเภทข้อมูล | ^ \ mathcal {I}) \)
    แล้ว \ (\ langle x, \ กริยา | rdfs: อักษร | ^ \ mathcal {I} \ rangle \ in \ mathrm {I_ {EXT}} (\ กริยา | rdfs: subClassOf | ^ \ mathcal {I}) \)


RDFS อเนกประสงค์ซึ่งเป็นจริง (1)

นอกจากนี้ทุกอเนกประสงค์ซึ่งเป็นจริงต่อไปนี้ต้องมีความพึงพอใจ:

RDF: ประเภท rdfs: โดเมน rdfs: ทรัพยากร
rdfs: โดเมน rdfs: โดเมน RDF: Property
rdfs: ช่วง rdfs: โดเมน RDF: Property
rdfs: subPropertyOf rdfs: โดเมน RDF: Property
rdfs: subClassOf rdfs: โดเมน rdfs: คลาส
RDF: หัวข้อ rdfs: โดเมน RDF: คำชี้แจง
RDF: คำกริยา rdfs: โดเมน RDF: คำชี้แจง
RDF: วัตถุ rdfs: โดเมน RDF: คำชี้แจง
RDF: สมาชิก rdfs: โดเมน rdfs: ทรัพยากร
RDF: แรก rdfs: โดเมน RDF: รายชื่อ
RDF: ส่วนที่เหลือ rdfs: โดเมน RDF: รายชื่อ
RDF: seeAlso rdfs: โดเมน rdfs: ทรัพยากร
RDF: isDefinedBy rdfs: โดเมน rdfs: ทรัพยากร
rdfs: แสดงความคิดเห็น rdfs: โดเมน rdfs: ทรัพยากร
rdfs: ฉลาก rdfs: โดเมน rdfs: ทรัพยากร
rdfs: ค่า rdfs: โดเมน rdfs: ทรัพยากร


RDFS อเนกประสงค์ซึ่งเป็นจริง (2)

นอกจากนี้ทุกอเนกประสงค์ซึ่งเป็นจริงต่อไปนี้ต้องมีความพึงพอใจ:

RDF: ประเภท rdfs: ช่วง rdfs: คลาส
rdfs: โดเมน rdfs: ช่วง rdfs: คลาส
rdfs: ช่วง rdfs: ช่วง rdfs: คลาส
rdfs: subPropertyOf rdfs: ช่วง rdfs: Property
rdfs: subClassOf rdfs: ช่วง rdfs: คลาส
RDF: หัวข้อ rdfs: ช่วง rdfs: ทรัพยากร
RDF: คำกริยา rdfs: ช่วง rdfs: ทรัพยากร
RDF: วัตถุ rdfs: ช่วง rdfs: ทรัพยากร
rdfs: สมาชิก rdfs: ช่วง rdfs: ทรัพยากร
RDF: แรก rdfs: ช่วง rdfs: ทรัพยากร
RDF: ส่วนที่เหลือ rdfs: ช่วง rdfs: รายชื่อ
rdfs: seeAlso rdfs: ช่วง rdfs: ทรัพยากร
rdfs: isDefinedBy rdfs: ช่วง rdfs: ทรัพยากร
rdfs: แสดงความคิดเห็น rdfs: ช่วง rdfs: อักษร
rdfs: ฉลาก rdfs: ช่วง rdfs: อักษร
RDF: ค่า rdfs: ช่วง rdfs: ทรัพยากร


RDFS อเนกประสงค์ซึ่งเป็นจริง (3)

นอกจากนี้ทุกอเนกประสงค์ซึ่งเป็นจริงต่อไปนี้ต้องมีความพึงพอใจ:

rdfs: ContainerMembershipProperty rdfs: subClassOf RDF: Property
rdfs: Alt rdfs: subClassOf rdfs: คอนเทนเนอร์
rdfs: กระเป๋า rdfs: subClassOf rdfs: คอนเทนเนอร์
rdfs: Seq rdfs: subClassOf rdfs: คอนเทนเนอร์
rdfs: isDefinedBy rdfs: subPropertyOf rdfs: seeAlso
RDF: XMLLiteral rdfs: ประเภท rdfs: ประเภทข้อมูล
RDF: XMLLiteral rdfs: subClassOf rdfs: อักษร
rdfs: ประเภทข้อมูล rdfs: subClassOf rdfs: คลาส
RDF: _i RDF: ประเภท rdfs: ContainerMembershipProperty
RDF: _i rdfs: โดเมน rdfs: ทรัพยากร
RDF: _i rdfs: ช่วง rdfs: ทรัพยากร


ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


กลับไปที่ตัวอย่าง contrived ของเรา

พูดแบบ \ (I \) ชุด \ (K \) ของประโยคประกอบด้วย

  • ชุด \ (C \) ของรถยนต์และ
  • ฟังก์ชั่น \ (I (\ cdot) \) ซึ่งแมปแต่ละตัวแปรไปที่รถใน \ (C \) ดังกล่าวว่าสำหรับแต่ละประโยค \ (\ mathop {\ กทพ. } b \) ใน \ (K \) เรา มีที่ \ (I () \) มีแรงม้ามากกว่า \ (I (ข) \)

เราสามารถหาวิธีที่จะคำนวณหาผลตรรกะทั้งหมดของการตั้งค่าของประโยค?

ขั้นตอนวิธีการป้อนข้อมูล: ชุด \ ประโยค (K \) จาก

  1. อัลกอริทึมที่ไม่ deterministically เลือกสองประโยคจาก \ (K \) ถ้าประโยคแรกคือ \ (\ mathop {\ กทพ. } b \) และประโยคที่สองคือ \ (b \ mathop {\ กทพ. } C \) แล้วเพิ่ม \ (\ mathop {\ กทพ. } C \) เพื่อ \ (K \) กล่าวคือ
    \ (\ กริยา | ถ้า | \ รูปสี่เหลี่ยม \; \ กทพ. \; b \ in K \) และ \ (b \ \ กทพ. \; C \ ใน K \ รูปสี่เหลี่ยม \ กริยา | แล้ว | \ รูปสี่เหลี่ยม K \ leftarrow K \ ถ้วย \ {\; \ กทพ. \; C \} \)
  2. ทำซ้ำขั้นตอนที่ 1 จนกว่าจะไม่มีผลในการเลือกการเปลี่ยนแปลงของ \ (K \)
  3. เอาท์พุท \ (K \)


กลับไปที่ตัวอย่างของเรา

อัลกอริทึมก่อผลกระทบเพียงตรรกะ: มันเป็น WRT เสียงความหมายแบบทฤษฎี

ขั้นตอนวิธีการผลิตผลตรรกะทั้งหมด: มันเป็น WRT สมบูรณ์แบบความหมายตามทฤษฎี

อัลกอริทึมเสมอยุติ

อัลกอริทึมจะไม่ถูกกำหนด

คอมพิวเตอร์ที่ซับซ้อนของขั้นตอนวิธีนี้คืออะไร?



เราจะทำอย่างไรอีกครั้ง?

Recall: \ (\ \ beta) เป็นผลตรรกะของ \ (\ alpha \) (\ (\ alpha \ \ models \ beta)) ถ้าสำหรับทุก \ (M \) ด้วย \ (M \ รุ่น \ alpha \) เรายังมี \ (M \ models \ \ beta)

การดำเนินการตามความหมายแบบทฤษฎีโดยตรงไม่เป็นไปได้: เราจะต้องจัดการกับทุกรูปแบบของฐานความรู้ เนื่องจากมีจำนวนมากของรถยนต์ในโลกนี้เราจะมีการตรวจสอบมากเป็นไปได้

พิสูจน์ทฤษฎีจะช่วยลดความหมายรูปแบบทฤษฎีการจัดการสัญลักษณ์ มันเอารูปแบบจากกระบวนการ



กฎการหัก

\ (\ กริยา | ถ้า | \ รูปสี่เหลี่ยม \; \ กทพ. \; b \ in K \) และ \ (b \ \ กทพ. \; C \ ใน K \ รูปสี่เหลี่ยม \ กริยา | แล้ว | \ รูปสี่เหลี่ยม K \ leftarrow K \ ถ้วย \ {\; \ กทพ. \; C \} \)

เป็นกฎการหักเงินที่เรียกว่า กฎระเบียบดังกล่าวมักจะเขียนเป็นแผนผัง

\[\frac{a \; \eta \; b \quad b \; \eta \; c}{a \; \eta \; c}\]



ภาพรวม

  1. ความหมายคืออะไร?
  2. ความหมายแบบจำลองตามทฤษฎีคืออะไร?
  3. ความหมายตามทฤษฎีแบบจำลองสำหรับ RDF (S)
  4. ความหมายพิสูจน์ทฤษฎีคืออะไร?
  5. ความหมายพิสูจน์ทฤษฎีสำหรับ RDF (S)
  6. อ้างอิง


เครื่องหมาย

\ (\) และ \ (b \) สามารถนำไปใช้โดยพลการยูริส (กล่าวคือสิ่งที่ยอมรับสำหรับตำแหน่งคำกริยาในสาม,

\ (\ mathit {\ _ \ \! \ \ n} \) จะใช้สำหรับ ID ของโหนดที่ว่างเปล่า,

\ (มึง \) และ \ (\ v) หมายถึงพล URIs หรือโหนดรหัสเปล่า (เช่นเรื่องใด ๆ ที่เป็นไปได้สาม)

\ (x \) และ \ (y \) สามารถใช้สำหรับการโดยพลการยูริ, รหัสโหนดว่างเปล่าหรือตัวอักษร (สิ่งที่ยอมรับสำหรับตำแหน่งวัตถุในสาม) และ

\ (l \) อาจจะหมายถึงตัวอักษรใด ๆ



กฎ Entailment ง่าย


\[\frac{u \quad a \quad x \quad .}{u \quad a \quad \mathit{\_\!\!:\!\!n} \quad .} \qquad \mathrm{se1}\]


\[\frac{u \quad a \quad x \quad .}{\mathit{\_\!\!:\!\!n} \quad a \quad x \quad .}\qquad \mathrm{se2}\]


\ (\ mathit {\ _ \ \! \ \ n} \) จะต้องไม่ถูกบรรจุอยู่ในรูปแบบของกราฟกฎถูกนำไปใช้



RDF กฎ Entailment

\[\frac{}{u \quad a \quad x \quad .} \qquad \mathrm{rdfax}\]
สำหรับทุกอเนกประสงค์ RDF จริง \ (มึง \; \; x \;. \)

\[\frac{u \quad a \quad l \quad .}{u \quad a \quad \mathrm{\_\!\!:\!\!n} \quad .} \qquad \mathit{lg}\]
ที่ \ (\ mathit {\ _ \ \! \ \ n} \) ยังไม่เกิดขึ้นในกราฟ

\[\frac{u \quad a \quad y \quad .}{a \quad \verb|rdf:type| \quad \verb|rdf:Property| \quad .} \qquad \mathrm{rdf1}\]
\[\frac{u \quad a \quad l \quad .}{\mathit{\_\!\!:\!\!n} \quad \verb|rdf:type| \quad \verb|rdf:XMLLiteral| \quad .} \qquad \mathrm{rdf2}\]
ที่ \ (\ mathit {\ _ \ \! \ \ n} \) ยังไม่เกิดขึ้นในกราฟเว้นแต่จะได้รับการแนะนำโดยการประยุกต์ใช้ก่อนหน้านี้ของ \ (\ mathrm {LG} \) กฎ



RDFS กฎ Entailment (1)

\[\frac{}{u \quad a \quad x \quad .} \qquad \mathrm{rdfax}\]
อเนกประสงค์ซึ่งเป็นจริงทั้งหมด RDFS \ (มึง \; \; x \;. \)

\[\frac{u \quad a \quad l \quad .}{\mathit{\_\!\!:\!\!n} \quad \verb|rdf:type| \quad \verb|rdfs:Literal| \quad .} \qquad \mathrm{rdfs1}\] ด้วย \ (\ mathit {\ _ \ \! \ \ n} \) ตามปกติ

\[\frac{a \quad \verb|rdfs:domain| \quad x \quad . \qquad u \quad a \quad y \quad .}{u \quad \verb|rdf:type| \quad x \quad .} \qquad \mathrm{rdfs2}\]
\[\frac{a \quad \verb|rdfs:range| \quad x \quad . \qquad u \quad a \quad v \quad .}{v \quad \verb|rdf:type| \quad x \quad .} \qquad \mathrm{rdfs2}\]
\[\frac{u \quad a \quad x \quad .}{u \quad \verb|rdf:type| \quad \verb|rdfs:Resource| \quad .} \qquad \mathrm{rdfs4a}\]
\[\frac{u \quad a \quad v \quad .}{v \quad \verb|rdf:type| \quad \verb|rdfs:Resource| \quad .} \qquad \mathrm{rdfs4b}\]



RDFS กฎ Entailment (2)

\[\frac{u \quad \verb|rdfs:subPropertyOf| \quad v \quad . \qquad v \quad \verb|rdfs:subPropertyOf| \quad x \quad .}{u \quad \verb|rdfs:subPropertyOf| \quad x \quad .}\quad \mathrm{rdfs5}\]

\[\frac{u \quad \verb|rdf:type| \quad \verb|rdf:Property| \quad .}{u \quad \verb|rdfs:subPropertyOf| \quad u \quad .} \quad \mathrm{rdfs6}\]

\[\frac{a \quad \verb|rdfs:subPropertyOf| \quad b \quad . \qquad u \quad a \quad y \quad .}{u \quad b \quad y \quad .}\quad \mathrm{rdfs7}\]

\[\frac{u \quad \verb|rdf:type| \quad \verb|rdfs:Class| \quad .}{u \quad \verb|rdfs:subClassOf| \quad \verb|rdfs:Resource| \quad .} \quad \mathrm{rdfs8}\]

\[\frac{u \quad \verb|rdfs:subClassOf| \quad x \quad . \qquad v \quad \verb|rdf:type| \quad u \quad .}{u \quad \verb|rdf:type| \quad x \quad .}\quad \mathrm{rdfs9}\]

\[\frac{u \quad \verb|rdf:type| \quad \verb|rdfs:Class| \quad .}{u \quad \verb|rdfs:subClassOf| \quad u \quad .} \quad \mathrm{rdfs10}\]



RDFS กฎ Entailment (3)

\[\frac{u \quad \verb|rdfs:subClassOf| \quad v \quad . \qquad v \quad \verb|rdfs:subClassOf| \quad x \quad .}{u \quad \verb|rdfs:subClassOf| \quad x \quad .}\quad \mathrm{rdfs11}\]

\[\frac{u \quad \verb|rdf:type| \quad \verb|rdfs:ContainerMembershipProperty| \quad .}{u \quad \verb|rdfs:subPropertyOf| \quad \verb|rdfs:member| \quad .}\quad \mathrm{rdfs12}\]

\[\frac{u \quad \verb|rdf:type| \quad \verb|rdfs:Datatype| \quad .}{u \quad \verb|rdfs:subClassOf| \quad \verb|rdfs:Literal| \quad .}\quad \mathrm{rdfs13}\]

\[\frac{u \quad a \quad \mathit{\_\!\!:\!\!n} \quad .}{u \quad a \quad l \quad .}\quad \mathrm{gl}\]
ที่ \ (\ mathit {\ _ \ \! \ \ n} \) ระบุโหนดว่างเปล่านำโดยอ่อนตัวลงก่อนหน้านี้ของตัวอักษร \ (l \) ผ่านกฎ \ (\ mathrm {LG} \)



ความสมบูรณ์

กฎการหักเงิน entailment ง่ายและ RDF เป็นเสียงและเสร็จสิ้น

กฎการหักเงิน entailment RDFS เป็นเสียง

ตามที่ [2] spec พวกเขาจะยังสมบูรณ์ แต่พวกเขาไม่ได้:

ex:isHappilyMarriedTo   rdfs:subPropertyOf      _:bnode .
_:bnode                 rdfs:domain             ex:Person .
ex:Bob                  ex:isHappilyMarriedTo   ex:Alice .

มีเหตุผลสำคัญ

ex:Bob  rdf:type  ex:Person .

แต่ไม่ได้มาใช้กฎการหัก RDFS


ซึ่งกฎ (s) ต้องมีการเปลี่ยนแปลงและวิธีการในการที่จะแก้ไขปัญหานี้



ความซับซ้อน

entailment ง่าย, RDF, RDFS และเป็นปัญหา NP-สมบูรณ์

ถ้าโหนดว่างที่เราไม่อนุญาตให้ทั้งสามปัญหา entailment เป็นพหุนาม [3]



ไม่ความหมาย RDFS ทำในสิ่งที่ควรจะเป็น

ไม่

ex:speaksWith   rdfs:domain       ex:Homo .
ex:Homo         rdfs:subClassOf   ex:Primates .

นำมาซึ่ง

ex:speaksWith   rdfs:domain   ex:Primates .

?



อ้างอิง

  1. ปาสคาล Hitzer, et al. ฐานรากของเทคโนโลยีเว็บความหมาย & ละครเร่, 2010
  2. แพทริคเฮย์ส, ความหมาย RDF, คำแนะนำ W3C, http://www.w3.org/TR/rdf-mt/ , W3C, 2004
  3. เฮอร์แมนเจตรีอรก์: decidability ความสมบูรณ์และความซับซ้อนของ entailment สำหรับ RDF Schema และขยายความหมายของคำศัพท์ที่เกี่ยวข้องกับนกฮูกเจเว็บเส 3 (2-3): 79-115 (2005)




Creator: soeren (TIB)

Contributors:
-


Licensed under the Creative Commons
Attribution ShareAlike CC-BY-SA license


This deck was created using SlideWiki.