Public Member Functions | |
| __construct () | |
Public Member Functions inherited from UML | |
| translate ($json_str, $builder) | |
| decode ($owllink_str, $jsonbuilder) | |
| merge_answer ($json_o, $json_new) | |
Public Member Functions inherited from Strategy | |
| __construct () | |
| translate ($json, $build) | |
| decode ($owl, $jsonbuild) | |
| translate_queries ($json, $builder) | |
| analize_answer ($reasoner_query, $reasoner_answer, $owl2) | |
| get_answer () | |
| compare_subsumptions ($json_o, $json_new, $jsonbuilder) | |
| merge_answer ($json_o, $json_new) | |
Protected Member Functions | |
| translate_multiplicity ($mult, $role, $from=true) | |
| translate_association ($link, $builder) | |
| translate_generalization ($link, $builder) | |
| translate_attributes ($json, $builder) | |
| translate_links ($json, $builder) | |
Protected Member Functions inherited from UML | |
| translate_attributes ($json, $builder) | |
| translate_links ($json, $builder) | |
Additional Inherited Members | |
Protected Attributes inherited from Strategy | |
| $qapack = null | |
I implement the method explained on "Reasoning on UML Class Diagrams" by Daniela Berardi, Diego Calvanesse and Giuseppe De Giacomo.
| __construct | ( | ) |
|
protected |
Translate only the association link.
| link | A JSON object representing one association link. |
|
protected |
|
protected |
Translate a generalization link into DL using the Builder.
| link | A generalization link in a JSON string. |
|
protected |
Translate only the links from a JSON string with links using the given builder.
| json | A JSON object, the result from a decoded JSON String. |
|
protected |
Depending on $mult translate it into DL.
| $from | True if we have to represent the "from" side (left one). |
1.8.8