Wicom Class Reference

Inheritance diagram for Wicom:

Public Member Functions
	__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')

Constructor & Destructor Documentation

__construct

(

)

Member Function Documentation

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

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

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

Check the diagram represented in JSON format for full reasoning.

Parameters

$json_str	A String with the diagram in JSON format.
$strategy	A String representing an specific Description Logic encoding
$reasoner	A String with the reasoner name. We support two: Konclude and Racer.

Returns

Wicom an answer object.

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

Check the diagram represented in JSON format for satisfiability.

Parameters

$json_str	A String with the diagram in JSON format.
$strategy	A String representing an specific Description Logic encoding
$reasoner	A String with the reasoner name. We support two: Konclude and Racer.

Returns

Wicom an answer object.

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

---

The documentation for this class was generated from the following file:

• web-src/common/wicom.php