org.dllearner.core.configurators
Class OWLAPIReasonerConfigurator

java.lang.Object
  org.dllearner.core.configurators.OWLAPIReasonerConfigurator

All Implemented Interfaces:

Configurator

public class OWLAPIReasonerConfigurator
extends Object
implements Configurator

automatically generated, do not edit manually. run org.dllearner.scripts.ConfigJavaGenerator to update

Constructor Summary

OWLAPIReasonerConfigurator(OWLAPIReasoner oWLAPIReasoner)

Method Summary

static OWLAPIReasoner	getOWLAPIReasoner(Set<AbstractKnowledgeSource> knowledgeSource)
URL	getOwlLinkURL() owlLinkURL the URL to the remote OWLlink server.
String	getReasonerType() reasonerType FaCT++, HermiT, OWLlink or Pellet, which means "fact", "hermit", "owllink" or "pellet".
boolean	isReinitNecessary() true, if this component needs reinitializsation.
void	setOwlLinkURL(URL owlLinkURL)
void	setReasonerType(String reasonerType)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWLAPIReasonerConfigurator

public OWLAPIReasonerConfigurator(OWLAPIReasoner oWLAPIReasoner)

Parameters:

oWLAPIReasoner - see OWLAPIReasoner

Method Detail

getOWLAPIReasoner

public static OWLAPIReasoner getOWLAPIReasoner(Set<AbstractKnowledgeSource> knowledgeSource)

Parameters:

knowledgeSource - see knowledgeSource

Returns:

OWLAPIReasoner

getReasonerType

public String getReasonerType()

reasonerType FaCT++, HermiT, OWLlink or Pellet, which means "fact", "hermit", "owllink" or "pellet". mandatory: false| reinit necessary: true default value: pellet

Returns:

String

getOwlLinkURL

public URL getOwlLinkURL()

owlLinkURL the URL to the remote OWLlink server. mandatory: false| reinit necessary: true default value: http://localhost:8080/

Returns:

URL

setReasonerType

public void setReasonerType(String reasonerType)

Parameters:

reasonerType - FaCT++, HermiT, OWLlink or Pellet, which means "fact", "hermit", "owllink" or "pellet". mandatory: false| reinit necessary: true default value: pellet

setOwlLinkURL

public void setOwlLinkURL(URL owlLinkURL)

Parameters:

owlLinkURL - the URL to the remote OWLlink server. mandatory: false| reinit necessary: true default value: http://localhost:8080/

isReinitNecessary

public boolean isReinitNecessary()

true, if this component needs reinitializsation.

Returns:

boolean