Constant Field Values

Contents

• org.semanticweb.*

org.semanticweb.*

org.semanticweb.elk.reasoner.config.ReasonerConfiguration

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public static final String	NAME	"Root Introduction"

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

Modifier and Type	Constant Field	Value
public static final String	NAME	"owl:Thing Introduction"

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

Modifier and Type	Constant Field	Value
public static final String	NAME	"DisjointClasses Introduction"

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

Modifier and Type	Constant Field	Value
public static final String	NAME	"DisjointClasses Contradiction Introduction"

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

Modifier and Type	Constant Field	Value
public static final boolean	ELIMINATE_IMPLIED_COMPOSITIONS	true
public static final boolean	REPLACE_CHAINS_BY_TOLD_SUPER_PROPERTIES	true