Inference Engine

• Full name: GEON Gravity Data Repository Access Service
• URL: http://cedar.se.cs.utep.edu/GdrpService/GravityData.asmx?wsdl
• Description in English: This Web service returns a list of XYZ gravity data readings, formated in ASCII, within the bounds of a rectangular region specified by a user. The region is defined by the upper and lower longitude and lattitudes.
• Inference Rule(s):
  • 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.

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.