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.

RIF หลักตัวอย่าง

Document(
Prefix(cpt http://example.com/concepts#)
Prefix(person http://example.com/people#)
Prefix(isbn http://.../isbn/)
Group
(
Forall ?Buyer ?Book ?Seller (
cpt:buy(?Buyer ?Book ?Seller ):− cpt:sell(? Seller ?Book ?Buyer)
)
cpt:sell(person:John isbn:000651409X person:Mary)
)
)
จากนี้จะได้รับความสัมพันธ์ต่อไปนี้:
cpt:buy(person:Mary isbn:00065409X person:John)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.