Constant Field Values

Contents

• org.semanticweb.*

org.semanticweb.*

org.semanticweb.elk.reasoner.config.ReasonerConfiguration

public static final String	INCREMENTAL_MODE_ALLOWED	"elk.reasoner.incremental.allowed"
public static final String	INCREMENTAL_TAXONOMY	"elk.reasoner.incremental.taxonomy"
public static final String	NUM_OF_WORKING_THREADS	"elk.reasoner.number_of_workers"
public static final String	REASONER_CONFIG_PREFIX	"elk.reasoner"
public static final String	UNSUPPORTED_FEATURE_TREATMENT	"elk.reasoner.unsupported_feature_treatment"

org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

public static final String

NAME

"Root Introduction"

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

public static final String

NAME

"owl:Thing Introduction"

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

public static final String

NAME

"DisjointClasses Introduction"

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

public static final String

NAME

"DisjointClasses Contradiction Introduction"

org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

public static final boolean	ELIMINATE_IMPLIED_COMPOSITIONS	true
public static final boolean	REPLACE_CHAINS_BY_TOLD_SUPER_PROPERTIES	true