- $ -

$actual_kb : OWLBuilder , OWLlinkBuilder , OWLDocument , OWLlinkDocument
$ans_analizer : QAPack
$answer : AnsAnalizer
$answer_reader : BerardiAnalizer , CrowdAnalizer
$builder : Translator
$child : IsAPredicate
$children : IsAConstraints
$childrenSub : Subsumption
$class1 : Association
$class2 : Association
$class_association : Association
$classes : UMLJSONDocument , GraphicalAxioms
$ClassName : ClassPredicate
$col_answers : Connector
$conn : DbConn
$connection : Runner
$constraints : IsAConstraints
$content : HTMLDocument , OWLDocument , OWLlinkDocument , UMLJSONDocument
$current_prefixes : OWLDocument , OWLlinkDocument
$dataproperties : GraphicalAxioms
$default_header : OWLDocument , OWLlinkDocument
$default_prefixes : OWLDocument , OWLlinkDocument
$disjclasses : GraphicalAxioms
$disjobjectproperties : GraphicalAxioms
$disjunctions : Answer
$documenter : Documenter
$domain : GraphicalAxioms
$domaindp : GraphicalAxioms
$eer : Meta2EER
$eqclasses : GraphicalAxioms
$eqobjectproperties : GraphicalAxioms
$equivalences : Answer
$firstKBElement : OWLlinkDocument
$fol : UMLFol
$in_queries : OWLlinkDocument
$in_tell : OWLlinkDocument
$inferredCards : Answer
$inferredDisj : Answer
$inferredEquivs : Answer
$inferredSubs : Answer
$json : Model
$jsonbuilder : Decoder
$kb_satis : Answer
$last_results : DbConn
$links : UMLJSONDocument
$meta : UMLMeta
$model_list : User
$mult1 : Association
$mut2 : Association
$name : Model , User
$name_association : Association
$new_owl2 : Answer
$objAttrDataType : Attribute
$objCardinalityRel : Objecttypecardinality
$objClassAttr : Attribute
$objectAttrName : Attribute
$objectproperties : GraphicalAxioms
$objectRelName : Objecttypecardinality , Relationship
$objectSubName : Subsumption
$objectTypeName : ObjectType
$objEntitiesRel : Relationship
$orig_owl2 : Answer
$orm : Meta2ORM
$owl2 : Documenter
$owllink_queries : AnsAnalizer
$owllink_responses : AnsAnalizer
$owllink_text : OWLDocument , OWLlinkDocument
$owner : Model
$parent : IsAConstraints
$parentName : IsAPredicate
$parentSub : Subsumption
$pass : User
$product : DocumentBuilder , JSONBuilder
$qapack : Strategy
$query_generator : QAPack
$query_reader : BerardiAnalizer , CrowdAnalizer
$range : GraphicalAxioms
$rangedp : GraphicalAxioms
$reasoner_input : Answer
$reasoner_output : Answer
$satis_classes : Answer
$strategy : Decoder , Translator
$strictsubclassaxioms : GraphicalAxioms
$strictsubobjectpropertyaxioms : GraphicalAxioms
$subsumptions : Answer
$unsatis_classes : Answer
$verbalisation : Verbalisation
$with_min_max : UMLcrowd
$with_queries : Translator

- a -

ANSWERS_MAP : BerardiAnalizer , CrowdAnalizer

- i -

IsClassSatisfiable : BerardiAnalizer , CrowdAnalizer

- m -

MAX_CARDINALITY : UMLcrowd

- p -

PROGRAM_CMD : KoncludeConnector , RacerConnector , SparqldlConnector , WidocoConnector
PROGRAM_LIB : SparqldlConnector
PROGRAM_PARAMS : RacerConnector
PROGRAM_PARAMS_FOLDER : WidocoConnector
PROGRAM_PARAMS_IN : KoncludeConnector , SparqldlConnector
PROGRAM_PARAMS_METADATA : WidocoConnector
PROGRAM_PARAMS_ONTO : WidocoConnector
PROGRAM_PARAMS_OUT : KoncludeConnector
PROGRAM_PARAMS_REWRITE : WidocoConnector