Declarative Rule
- Name: Meet Service Postcondition
- Description in English: This rule asserts that the postconditions required to integrate the output of a service have been met by the SDS "s". Currently this entails that output "z" of service "r" can be translated to output "b" which is desired for integration.
- Rule Specification:
(=> (and (needOutput ?s ?b)
(hasOutput ?r ?z)
(haveTranslation ?z ?b))
(meetServicePostcondition ?s ?r))
- Specification Language: Knowledge Interchange Format (KIF)
- Source(s):
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
