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.

ความสมบูรณ์

กฎการหักเงิน 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) ต้องมีการเปลี่ยนแปลงและวิธีการในการที่จะแก้ไขปัญหานี้


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.