check_files |
( |
|
$temporal_path, |
|
|
|
$konclude_path, |
|
|
|
$file_path |
|
) |
| |
Check for program and input file existance and proper permissions.
- Returns
- true always
- Exceptions
-
Exception | with proper message if any problem is founded. |
Execute Konclude with the given $document as input. Note that this function redefines run in order to convert a DOMDocumentType to DOMElement.
const PROGRAM_CMD = "Konclude" |
The Konclude command to execute with all its parameters. Konclude writes the reasoning output to a file so that this function configures the commandline to write to an "konclude-out-file.owllink" file. This file must be created during crowd installation.
const PROGRAM_PARAMS_IN = " owllinkfile -i " |
const PROGRAM_PARAMS_OUT = " -o " |
The documentation for this class was generated from the following file: