public class RacerProServer extends Server {
@Override
public void initialServer(int index) {
OWLReasonerFactory factory = new RacerTCPReasonerFactory();
LegacyReasonerFactory legacyFactory =
new LegacyReasonerFactory(factory);
AbstractOWLlinkReasonerConfiguration configuration =
new AbstractOWLlinkReasonerConfiguration();
int port = ServerParams.getPort(getServerName());
server = new OWLlinkHTTPXMLServer(legacyFactory, configuration, port);
}