Package it.poliba.sisinflab.tinyme
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 Summary
Modifier and Type Method Description static String
getDescription()
Returns the reasoner description string.static String
getInfo()
Returns comprehensive reasoner info (multiline).static long
getMaxRSS()
Returns the Maximum RSS (Resident Set Size) for the process.static String
getName()
Returns the name of the reasoner.static Version
getOWLReasonerVersion()
Returns the reasoner version.static String
getVendorDescription()
Returns the reasoner vendor description.static String
getVendorName()
Returns the reasoner vendor name.static String
getVendorOrganization()
Returns the reasoner vendor organization.static String
getVendorURL()
Returns the reasoner vendor URL.static String
getVersion()
Returns the reasoner version string.
-
Method Details
-
getName
Returns the name of the reasoner.- Returns:
- Name of the reasoner.
-
getDescription
Returns the reasoner description string.- Returns:
- Description of the reasoner.
-
getVersion
Returns the reasoner version string.- Returns:
- Reasoner version string.
-
getVendorName
Returns the reasoner vendor name.- Returns:
- Reasoner vendor.
-
getVendorOrganization
Returns the reasoner vendor organization.- Returns:
- Reasoner vendor organization.
-
getVendorURL
Returns the reasoner vendor URL.- Returns:
- Reasoner vendor URL.
-
getVendorDescription
Returns the reasoner vendor description.- Returns:
- Reasoner vendor description.
-
getInfo
Returns comprehensive reasoner info (multiline).- Returns:
- Reasoner info.
-
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.
-