Example PowerLoom Advertisement
Advertisement: (advertises Yolanda-Gil (kappa (?i) (exists (?p) (and (research-interest ?p ?i) (subset-of ?i Knowledge-Acquisition)))
Example Query: îWho is interested in knowledge-based systems?î (retrieve ?p (and (Person ?p) (exists (?ad) (advertises ?p ?ad) (subset-of ?ad (kappa (?i) (exists (?p) (and (research-interest ?p ?i) (subset-of ?i Knowledge-Based-Systems))))))))