"definitive service" . . . "\tWhen service S is the definitiveService for property P,\nany statement X P Y is true iff and only if a query to S returns\nthat it is. The protocol for the service S depends on the scheme.\nFor mysql protocol, the URI of the service is like\nsql://user:password@host.domain/database/.\n\nFor example, there may be a definitive service for the zipcode of\nairports by airport code, and so on. This is useful to let a reasoner\nknow that it can help resolve a query by delegating it to the service\nin question.\n(Cwm will do this if its mode includes \"r\").\n" .