|
| | __construct () |
| |
| | full_reasoning ($json_str, $reasoner= 'Konclude') |
| |
| | __construct () |
| |
| | full_reasoning ($json_str, $reasoner= 'Konclude') |
| |
| | __construct () |
| |
| | full_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer') |
| |
| | is_satisfiable ($json_str, $strategy= 'crowd', $reasoner= 'Racer') |
| |
| | subClasses_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer') |
| |
| | equivalentClasses_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer') |
| |
| | disjointClasses_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer') |
| |
| full_reasoning |
( |
|
$json_str, |
|
|
|
$reasoner = 'Konclude' |
|
) |
| |
Check the diagram represented in JSON format for satisfiability.
- Parameters
-
| $json_str | A String with the diagram in JSON format. |
| $reasoner | A String with the reasoner name. We support two: Konclude and Racer. |
- Returns
- Wicom an answer object.
| full_reasoning |
( |
|
$json_str, |
|
|
|
$reasoner = 'Konclude' |
|
) |
| |
Check the diagram represented in JSON format for satisfiability.
- Parameters
-
| $json_str | A String with the diagram in JSON format. |
| $reasoner | A String with the reasoner name. We support two: Konclude and Racer. |
- Returns
- Wicom an answer object.
The documentation for this class was generated from the following files:
Public Member Functions inherited from Wicom
1.8.8
