WICOM
 All Data Structures Namespaces Files Functions Variables Pages
Public Member Functions | Protected Member Functions
Berardi Class Reference
Inheritance diagram for Berardi:
UML Strategy

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
 

Detailed Description

I implement the method explained on "Reasoning on UML Class Diagrams" by Daniela Berardi, Diego Calvanesse and Giuseppe De Giacomo.

See also
Translator class for description about the JSON format.

Constructor & Destructor Documentation

__construct ( )

Member Function Documentation

translate_association (   $link,
  $builder 
)
protected

Translate only the association link.

Parameters
linkA JSON object representing one association link.
translate_attributes (   $json,
  $builder 
)
protected
translate_generalization (   $link,
  $builder 
)
protected

Translate a generalization link into DL using the Builder.

Parameters
linkA generalization link in a JSON string.
translate_links (   $json,
  $builder 
)
protected

Translate only the links from a JSON string with links using the given builder.

Parameters
jsonA JSON object, the result from a decoded JSON String.
Returns
false if no "links" part has been provided.
translate_multiplicity (   $mult,
  $role,
  $from = true 
)
protected

Depending on $mult translate it into DL.

Parameters
$fromTrue if we have to represent the "from" side (left one).
Returns
A DL list part that represent the multiplicity restriction.

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