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 Core Beispiel

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)
)
)
Daraus lässt sich folgende Beziehung ableiten:
cpt:buy(person:Mary isbn:00065409X person:John)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.