WICOM
 All Data Structures Namespaces Files Functions Variables Pages
Public Member Functions
EER_Wicom Class Reference
Inheritance diagram for EER_Wicom:
Wicom Wicom

Public Member Functions

 __construct ()
 
 full_reasoning ($json_str, $reasoner= 'Konclude')
 
 __construct ()
 
 full_reasoning ($json_str, $reasoner= 'Konclude')
 
- Public Member Functions inherited from Wicom
 __construct ()
 
 full_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer')
 
 is_satisfiable ($json_str, $strategy= 'crowd', $reasoner= 'Racer')
 
 owl2importer ($owl2, $reasoner= 'Racer')
 

Constructor & Destructor Documentation

__construct ( )
__construct ( )

Member Function Documentation

full_reasoning (   $json_str,
  $reasoner = 'Konclude' 
)

Check the diagram represented in JSON format for satisfiability.

Parameters
$json_strA String with the diagram in JSON format.
$reasonerA 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_strA String with the diagram in JSON format.
$reasonerA 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:
Generated by   doxygen 1.8.8