Declarative Rule
- Name: Have Effect Service
- Description in English: This rule asserts that the SDS has found an effect service "r" that has OWL-S effect "c" and meets OWL-S non-functional restrictions "d".
- Rule Specification:
(=> (and (needEffect ?s ?c)
(needNonfuncRestrs ?s ?d)
(hasEffect ?r ?c)
(hasNonfuncRestrs ?r ?d))
(haveEffectService ?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.
