...
Version information can be found in here.
Quaestor is a software framework for developing and using knowledge based systems containing computational methods and data. With these systems, you are able to streamline analysis, design and engineering processes.
...
The combination of a project (a project file), a knowledge base (a knowledge file) and the Quaestor program makes a knowledge-based system to streamline design and engineering processes (workflows).
Knowledge-based systems in Quaestor enable research, engineering and design departments to simplify the tasks of:
...
This makes Quaestor one of the most powerful environments currently available for the development and use of knowledge-based computational models, applications and configurators.
Quaestor can be used in three ways, depending on your personal requirements and user license. See user levels documentation for more detail:
A Knowledge Engineer (KE) can store computational model fragments in a Knowledge base. These fragments consist of relationships, formulas or tools with their validity, static data, descriptions, optional illustrations, properties and parameters. Since the output of one model fragment can be input for another, all components together form an undirected network of 'rules'. This network controls the data and calculation management capabilities of the system.
...
Quaestor applies a unique and advanced bi-directional chaining strategy of reasoning, computer algebra as well as network and relational database concepts. It offers a knowledge management environment and is able to invoke external executable programs, spreadsheets and databases.
A Domain Expert (DE) and Knowledge Engineer can use a knowledge base (network of model fragments) to determine or optimise any parameter used in any of the available formulas or model components (knowledge). This process is called Model Assembling and its result is a Solution.
...
Powerful document generation and browser facilities are available to present results, get information on intermediate calculations, the reasoning process and knowledge used in the solution.
Any modeling process results in a Solution. This Solution can be viewed in every detail defined by the Knowledge Engineer and can also be restarted using your new input.
...
Please note that in addition to providing single values for parameters, the user can provide ranges of values for several parameters. This makes it possible to compute matrices of parameter variations to perform trade-off studies or to check the robustness of solutions.
The software can be purchased with an annual, non-exclusive, non-transferable, user license. A demo version of Quaestor is available for free. This version provides full user rights up to 100 frames per knowledge base (i.e. 100 parameters, relations and constraints in total).
The fee for an annual user licence will depend on (A) the user modus of the software (stand-alone or concurrent use) and (B) the user level (End-User, Domain Expert, Knowledge Engineer).