Download the latest version (see http://wiki.ruleml.org/index.php/PSOA_RuleML#Implementation) of PSOATransRun in your working directory and follow the installation instructions (http://psoa.ruleml.org/transrun/1.4.3/local/). Load the ExoskeletonsRules.psoa in the PSOATransRun engine, e.g., for SWI: java -jar PSOATransRunLocal.jar -b swi -i ExoskeletonsRules.psoa After the message "KB loaded" is shown, you can pose queries, e.g., > :MarketableMedicalDevice(?m) If you want to add your Exoskeleton requirements facts, you can edit the provided Excel file and run the Python script, e.g., python req.py You can copy the generated PSOA code and add it to the ExoskeletonsRules KB. The only dependency of the Python script is xlrd, which is available in pip.