BerardiQueries Class Reference

Inheritance diagram for BerardiQueries:

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)

Detailed Description

Queries only for the Berardi strategy.

Generates queries for checking:

KB Satisfiability. Classes satisfiability.

Constructor & Destructor Documentation

__construct

(

)

Member Function Documentation

generate_all_queries	(		$json_str,
			$builder
	)

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/berardiqueries.php