Inheritance diagram for CrowdQueries:

Public Member Functions
	__construct ()

	generate_all_queries ($json_str, $builder)

Public Member Functions inherited from QueriesGenerator
	__construct ()

	generate_all_queries ($json_str, $builder)

	gen_satisfiable ($builder)

	gen_getPrefixes ($builder)

	gen_class_satisfiable ($json_diagram, $builder)

	gen_objectProperty_satisfiable ($json_diagram, $builder)

	gen_dataProperty_satisfiable ($json_diagram, $builder)

	gen_getDisjointClasses ($json_diagram, $builder)

	gen_getEquivalentClasses ($json_diagram, $builder)

	gen_subClassHierarchy ($builder)

	gen_subObjectPropertyHierarchy ($builder)

	gen_entailed_EquivalentClasses ($json_diagram, $builder)

	gen_entailedDirect_SubClasses ($json_diagram, $builder)

	gen_entailedDirect_DisjointClasses ($json_diagram, $builder)

	gen_entailedDirect_SubObjPropertyOf ($json_diagram, $builder)

Protected Member Functions
	gen_class_satisfiable_min_max ($json_diagram, $builder)

	gen_entailed_classes_min_max ($json_diagram, $builder)

	gen_sub_classes_min_max ($json_diagram, $builder)

	gen_super_classes_min_max ($json_diagram, $builder)

	gen_equivalent_classes_min_max ($json_diagram, $builder)

Detailed Description

Queries only for the Crowd strategy.

Generates queries for checking:

KB Satisfiability. Classes satisfiability. For cardinalities inference.

Constructor & Destructor Documentation

__construct ( )

gen_class_satisfiable_min_max	(	$json_diagram,
		$builder
	)

protected

I generate queries for checking diagram satisfability.

Parameters

$builder A Wicom instance. Generate queries for checking satisfiability of min and max.

protected

I generate queries for checking satisfability per each class in the diagram.

Parameters

$json_diagram	a String in JSON format with the diagram.
$builder	A Wicom instance. Generate queries for checking for entailed classes min and max.

gen_equivalent_classes_min_max	(	$json_diagram,
		$builder
	)

protected

Generate queries for getting superclasses.

See also: gen_class_satisfiable() for parameters. Generate queries for checking equivalent of min and max.; gen_class_satisfiable() for parameters.

protected

Generate queries for checking for entailed classes.

See also: gen_class_satisfiable() for parameters. Generate query for getting all classes.; gen_class_satisfiable() for parameters. Generate query for getting subclasses hierarchy.; gen_class_satisfiable() for parameters. Generate queries for checking for subclasses of min and max.; gen_class_satisfiable() for parameters.

protected

Generate queries for getting subclasses.

See also: gen_class_satisfiable() for parameters. Generate queries for checking for superclasses of min and max.; gen_class_satisfiable() for parameters.

Generate all queries on the builder provided.

Parameters

$json_str	a String representing the JSON of the user model.
$builder	an instance of Wicom.

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

web-src/wicom/translator/strategies/qapackages/queriesgenerators/crowdqueries.php