- See also
- Translator class for description about the JSON format.
analize_answer |
( |
|
$reasoner_query, |
|
|
|
$reasoner_answer, |
|
|
|
$owl2 |
|
) |
| |
compare_subsumptions |
( |
|
$json_o, |
|
|
|
$json_new, |
|
|
|
$jsonbuilder |
|
) |
| |
Compare subsumptions in original JSON representing a diagram against new JSON extracted from a realised ontology.
- Returns
- an array of inferred subsumptions. An empty array otherwise.
decode |
( |
|
$owl, |
|
|
|
$jsonbuild |
|
) |
| |
|
abstract |
merge_answer |
( |
|
$json_o, |
|
|
|
$json_new |
|
) |
| |
This function gets new "graphicable" constraints (subsumptions, cardinalities) from OWLlink responses already processed
- Parameters
-
$json_o. | Original JSON representing a diagram |
$json_new. | New diagram extracted by using SPARQL-DL. This json contains the new ontology with "graphicable elements". |
$answer. | Reasoner output. It contains all the axioms and contraints "graphicable and non-graphicable". |
translate |
( |
|
$json, |
|
|
|
$build |
|
) |
| |
|
abstract |
Translate the given JSON String into the OWLlink XML string.
- Parameters
-
json | The JSON string |
build | The Builder instance. |
- Returns
- An XML String.
- See also
- Translator class for description about the JSON format.
translate_queries |
( |
|
$json, |
|
|
|
$builder |
|
) |
| |
Generate queries appropiates for this queries using the Builder to store them in the document.
- Parameters
-
$json | a JSON string representing the user's model. |
$builder | Wicom |
An instance of any QAPack subclass.
- See also
- Wicom
The documentation for this class was generated from the following file: