Class ReasonerMetadata

java.lang.Object
it.poliba.sisinflab.tinyme.ReasonerMetadata

public final class ReasonerMetadata
extends Object
Utility class containing methods that return reasoner metadata.
  • Method Details

    • getName

      public static String getName()
      Returns the name of the reasoner.
      Returns:
      Name of the reasoner.
    • getDescription

      public static String getDescription()
      Returns the reasoner description string.
      Returns:
      Description of the reasoner.
    • getVersion

      public static String getVersion()
      Returns the reasoner version string.
      Returns:
      Reasoner version string.
    • getVendorName

      public static String getVendorName()
      Returns the reasoner vendor name.
      Returns:
      Reasoner vendor.
    • getVendorOrganization

      public static String getVendorOrganization()
      Returns the reasoner vendor organization.
      Returns:
      Reasoner vendor organization.
    • getVendorURL

      public static String getVendorURL()
      Returns the reasoner vendor URL.
      Returns:
      Reasoner vendor URL.
    • getVendorDescription

      public static String getVendorDescription()
      Returns the reasoner vendor description.
      Returns:
      Reasoner vendor description.
    • getInfo

      public static String getInfo()
      Returns comprehensive reasoner info (multiline).
      Returns:
      Reasoner info.
    • getOWLReasonerVersion

      public static Version getOWLReasonerVersion()
      Returns the reasoner version.
      Returns:
      Reasoner version.
    • getMaxRSS

      public static long getMaxRSS()
      Returns the Maximum RSS (Resident Set Size) for the process.
      Returns:
      Max RSS for the process.