Class SelectedReasoner

java.lang.Object

io.github.kodymoodley.owlapilite.SelectedReasoner

All Implemented Interfaces:

Serializable

public class SelectedReasoner
extends Object
implements Serializable

Represents a SelectedReasoner class that catalogues / enumerates metadata about OWL 2 reasoners which OWLAPI-Lite is able to interact with. The client can use instances of this class to indicate their selected reasoner.

Version:

1.0.1

Author:

Kody Moodley, https://kodymoodley.github.io

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static final SelectedReasoner	ELK	ELK OWL 2 EL Reasoner selection instance
static final SelectedReasoner	HERMIT	HermiT OWL 2 DL Reasoner selection instance
static final SelectedReasoner	JFACT	JFACT OWL 2 DL Reasoner selection instance
static final ArrayList<SelectedReasoner>	REASONERS	ArrayList of all OWL 2 reasoner selection instances which OWLAPI-Lite is able to use

Method Summary

Modifier and Type	Method	Description
String	getName()	returns a string representation of the SelectedReasoner instance name
String	getOWLProfile()	returns a string representation of the OWL 2 Profile supported by the SelectedReasoner instance
String	getProfile()	Alias for getOWLProfile method.
String	toString()	returns a string representation of the SelectedReasoner instance

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

JFACT

public static final SelectedReasoner JFACT

JFACT OWL 2 DL Reasoner selection instance

ELK

public static final SelectedReasoner ELK

ELK OWL 2 EL Reasoner selection instance

HERMIT

public static final SelectedReasoner HERMIT

HermiT OWL 2 DL Reasoner selection instance

REASONERS

public static final ArrayList<SelectedReasoner> REASONERS

ArrayList of all OWL 2 reasoner selection instances which OWLAPI-Lite is able to use

Method Details

toString

public String toString()

returns a string representation of the SelectedReasoner instance

Overrides:

toString in class Object

Returns:

The string representation of the name of the reasoner concatenated with the OWL 2 Profile it supports

getName

public String getName()

returns a string representation of the SelectedReasoner instance name

Returns:

The string representation of the name of the selected reasoner instance

getOWLProfile

public String getOWLProfile()

returns a string representation of the OWL 2 Profile supported by the SelectedReasoner instance

Returns:

The string representation of the OWL 2 Profile which the selected reasoner supports

getProfile

public String getProfile()

Alias for getOWLProfile method. returns a string representation of the OWL 2 Profile supported by the SelectedReasoner instance

Returns:

The string representation of the OWL 2 Profile which the selected reasoner supports