Inference Engine

• Full name: Semantic Discovery Service
• URL: http://ksl.stanford.edu/sds
• Version: 1.0
• Description in English: A Web service that automates semantically-enriched Web service discovery, customization, and semantic translation.
• Source(s):
  • Name: SDS Team
• Inference Rule(s):
  • Name: Assumption
  • Description in English: An assumption specified by the user for the purpose of performing a specific query.
  • Rule Specification: |- p;; (Sent p)
  • Specification Language: Proof Protocol for Deductive Reasoning (PPDR)

  ---

  • Name: Direct assertion
  • Description in English: Direct assertion of a sentence, possibly by loading a sentence (or a set of sentences) from an existing knowledge base.
  • Rule Specification: |- p;; (Sent p)
  • Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
  • Example in English: One might load the statement from the wines ontology that RedWine is a subclass of Wine.

  ---

  • 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):
    • Name: SDS Team

  ---

  • 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):
    • Name: SDS Team

  ---

  • Name: Meet Service Precondition
  • Description in English: This rule asserts that the preconditions to invoking a service have been met by the SDS "s". Currently this entails that the input "x" required to invoke service "r" can be translated from available input "a".
  • Rule Specification: (=> (and (haveInput ?s ?a)) (hasInput ?r ?x) (haveTranslation ?a ?x)) (meetServicePrecondition ?s ?r))
  • Specification Language: Knowledge Interchange Format (KIF)
  • Source(s):
    • Name: SDS Team

  ---

  • Name: Service Chain Success
  • Description in English: This rule asserts if the SDS "s" is able to construct a service chain around effect service "r". The conclusion will be true for an effect service "r" if the preconditions and postconditions for invoking "r" have been met.
  • Rule Specification: (=> (and (haveEffectService ?s ?r) (meetPreconditionForService ?s ?r) (meetPostConditionForService ?s ?r)) (serviceChainSuccess ?s ?r))
  • Specification Language: Knowledge Interchange Format (KIF)
  • Source(s):
    • Name: SDS Team

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.