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

Public Member Functions

 __construct ()
 
 full_reasoning ($json_str, $strategy= 'crowd', $reasoner= 'Racer')
 
- 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 ( )

Member Function Documentation

full_reasoning (   $json_str,
  $strategy = 'crowd',
  $reasoner = 'Racer' 
)

Check the diagram represented in JSON format for full reasoning.

Parameters
$json_strA String with the diagram in JSON format.
$strategyA String representing an specific Description Logic encoding
$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 file: