QueriesGenerator Class Reference

Inheritance diagram for QueriesGenerator:

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

Superclass for all the queries generators available.

Constructor & Destructor Documentation

__construct

(

)

Member Function Documentation

gen_class_satisfiable	(		$json_diagram,
			$builder
	)

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.

gen_dataProperty_satisfiable	(		$json_diagram,
			$builder
	)

I generate queries for checking satisfability for each attribute in the diagram.

Parameters

$json_diagram	a String in JSON format with the diagram.
$builder	A Wicom instance.

gen_entailed_EquivalentClasses	(		$json_diagram,
			$builder
	)

Generate queries for checking for entailed classes. Entailed applies just for EquivalentClasses axiom

See also

gen_class_satisfiable() for parameters.

get_entailedDirect_classes for class axioms diferent from EquivalentClasses

gen_entailedDirect_DisjointClasses	(		$json_diagram,
			$builder
	)

Generate queries for checking for entailedDirect classes. EntailedDirect applies for DisjointClasses, SubClassOf and SubObjectPropertyOf axiom

See also

gen_class_satisfiable() for parameters.

gen_entailedDirect_SubClasses	(		$json_diagram,
			$builder
	)

Generate queries for checking for entailedDirect classes. EntailedDirect applies for DisjointClasses, SubClassOf and SubObjectPropertyOf axiom

See also

gen_class_satisfiable() for parameters.

gen_entailedDirect_SubObjPropertyOf	(		$json_diagram,
			$builder
	)

Generate queries for checking for entailedDirect classes. EntailedDirect applies for DisjointClasses, SubClassOf and SubObjectPropertyOf axiom

See also

gen_class_satisfiable() for parameters.

gen_getDisjointClasses	(		$json_diagram,
			$builder
	)

Generate queries for checking disjointness in each class of the diagram.

Parameters

$json_diagram	a String in JSON format with the diagram.
$builder	A Wicom instance.

gen_getEquivalentClasses	(		$json_diagram,
			$builder
	)

Generate queries for checking class equivalence in the diagram.

Parameters

$json_diagram	a String in JSON format with the diagram.
$builder	A Wicom instance.

gen_getPrefixes

(

$builder

)

gen_objectProperty_satisfiable	(		$json_diagram,
			$builder
	)

I generate queries for checking satisfability for each objectProperty (role) in the diagram.

Parameters

$json_diagram	a String in JSON format with the diagram.
$builder	A Wicom instance.

Todo:

add roles for n-ary assocs. Now only generates queries for UML binary associations

gen_satisfiable

(

$builder

)

I generate queries for checking diagram satisfability.

Parameters

$builder

A Wicom instance.

gen_subClassHierarchy

(

$builder

)

Generate query for getting subclasses hierarchy.

See also

gen_class_satisfiable() for parameters.

gen_subObjectPropertyHierarchy

(

$builder

)

Generate query for getting subObjectProperties hierarchy.

See also

gen_class_satisfiable() for parameters.

generate_all_queries	(		$json_str,
			$builder
	)

Generate on the $builder all the queries for this generator. This module generates common queries for any encoding.

Parameters

$json_str	A String in JSON format for the diagram.
$builder	A Wicom subclass.

---

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

• web-src/wicom/translator/strategies/qapackages/queriesgenerators/queriesgenerator.php