Add tooltip messages to clarify the semantics of options in gUFO export dialog

[jpalmeida]

Add tooltip messages to clarify the semantics of options in gUFO export dialog, at least to clarify the semantics of:

• "Minimize property creation"
• "Run pre analysis"

[tgoprince]

I support adding these tooltips.

Let me just clarify here what they are meant to do.

If set to true, "Minimize property creation" will instruct the transformation to avoid creating domain specific object properties for the associations defined in the conceptual model. Instead, it will reuse object properties defined in gUFO.

Consider the OntoUML model below:

This is the normal behavior of the transformation:

:Love rdf:type owl:Class, gufo:Kind, owl:NamedIndividual ;
    rdfs:subClassOf gufo:ExtrinsicMode ;
    rdfs:label "Love"@en .

:Person rdf:type owl:Class, gufo:Kind, owl:NamedIndividual ;
    rdfs:subClassOf gufo:FunctionalComplex ;
    rdfs:label "Person"@en .

:inhersInPerson rdf:type owl:ObjectProperty ;
    rdfs:domain :Love ;
    rdfs:range :Person ;
    rdfs:label "inhers in person"@en ;
    rdfs:subPropertyOf gufo:inheresIn .

:Person rdfs:subClassOf [
  rdf:type owl:Restriction ;
  owl:onProperty [ owl:inverseOf :inhersInPerson ] ;
  owl:someValuesFrom :Love
] .

:Love rdfs:subClassOf [
  rdf:type owl:Restriction ;
  owl:onProperty :inhersInPerson ;
  owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
  owl:onClass :Person
].

And this is the minimized behavior:

:Love rdf:type owl:Class, gufo:Kind, owl:NamedIndividual ;
    rdfs:subClassOf gufo:ExtrinsicMode ;
    rdfs:label "Love"@en .

:Person rdf:type owl:Class, gufo:Kind, owl:NamedIndividual;
    rdfs:subClassOf gufo:FunctionalComplex ;
    rdfs:label "Person"@en ;
    rdfs:subClassOf [
  rdf:type owl:Restriction ;
  owl:onProperty [ owl:inverseOf gufo:inheresIn ] ;
  owl:someValuesFrom :Love
].

:Love rdfs:subClassOf [
  rdf:type owl:Restriction ;
  owl:onProperty gufo:inheresIn ;
  owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
  owl:onClass :Person
].

This option does NOT affect material and comparative relations, which always give rise to object properties.

[tgoprince]

The "run pre-analysis" option instructs the transformation to analyze the provided OntoUML model to verify if is "transformable" to gUFO.

Some issues are:

• Elements without names
• Duplicate names
• Use of reserved keywords
• Invalid base IRI
• Invalid prefix

However, the plugin can't show the results of this analysis yet, so maybe we should remove it from the interface for now.

[jpalmeida]

Perhaps "Minimize property creation" could be rephrased to "Create domain-specific properties" set by default to true. This matches "Create inverse properties" (set by default to false).

[jpalmeida]

About "run pre analysis", ... when feedback to the user is implemented, i would suggest the option to be "Ignore pre-analysis", with the default set to false.