Package it.poliba.sisinflab.tinyme

Class Contraction

java.lang.Object
it.poliba.sisinflab.tinyme.Contraction
public final class Contraction
extends Object
Stores the result of the Concept Contraction inference service, obtained via Reasoner.contraction(OWLNamedIndividual, OWLNamedIndividual) and similar methods.

Keep represents the part of the request that is compatible with the supplied resource, while give up is the part that must be given up in order to make it compatible with it. The more must be given up in the request, the higher the associated penalty.

See Also:
Reasoner

  • Method Details

    • getKeep

      public SemanticDescription getKeep()
      Returns the keep part of the contraction result.
      Returns:
      Keep part of the contraction result.

    • getGiveUp

      public SemanticDescription getGiveUp()
      Returns the give up part of the contraction result.
      Returns:
      Give up part of the contraction result.

    • getPenalty

      public double getPenalty()
      Returns the penalty associated with the contraction result.
      Returns:
      Penalty associated with the contraction result.

    • toString

      public String toString()
      Overrides:
      toString in class Object