Config

Config

Source:

Configuration parameters for:

  • the server itself
  • the reasoner

Members

(static, constant) config :Object

Source:
Properties:
Name Type Description
serverOptions Config.ServerOptions

options for the server
eyeOptions Config.EyeOptions

options for the reasoner

Global config object

Type:
  • Object

(static, constant) eyePath :String

Source:

Path to the eye executable/script that runs the reasoner

Type:
  • String

Type Definitions

EyeOptions

Source:
Properties:
Name Type Description
consoleLogging Boolean

enables console logging of the reasoner's output
eyePath String

the path to the eye reasoner
defaultFlags Array.<String>

extra flags passed to the reasoner, currently passing "--nope" which disables proof explanation
command_arguments Object

arguments to be passed to nodeJS's 'exec' function, not to the reasoner itself.

ServerOptions

Source:
Properties:
Name Type Description
uriqa Object

should match the server's base url, it is used to match the prefixes of resources hosted on the server when the server is started
port String

port the server is hosted on
routesPrefix String

the routespace of the server, eg: /api/v6
workSpacePath String

root workspace of the server
reasoningPath String

folder which contains all of the files necessary for the reasoning
indexFile String

the filename the reasoning implementation will look when routes that require reasoning are called, the contents should contain the reasoning routes and points to query and data sources (for instance reasoning/index.json)
verbose Boolean

enables extra console logging