edu.cornell.mannlib.vitro.webapp.tboxreasoner

Class ReasonerConfiguration

java.lang.Object

edu.cornell.mannlib.vitro.webapp.tboxreasoner.ReasonerConfiguration

public class ReasonerConfiguration
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static ReasonerConfiguration	COMPLETE This configuration will ask Pellet for "all" inferences (calls listStatements(null,null,null)).
static ReasonerConfiguration	DEFAULT The default reasoner configuration is designed to provide acceptable performance on larger knowledge bases.
Set<ReasonerStatementPattern>	inferenceDrivingPatternAllowSet
Set<ReasonerStatementPattern>	inferenceDrivingPatternDenySet
Set<ReasonerStatementPattern>	inferenceReceivingPatternAllowSet
static ReasonerConfiguration	PSEUDOCOMPLETE This configuration will ask Pellet for the default inferences, plus all statements where the predicate is a property in the user's ontology(ies).
static ReasonerConfiguration	PSEUDOCOMPLETE_IGNORE_DATAPROPERTIES This configuration will ask Pellet for the default inferences, plus all statements where the predicate is an object property in the user's ontology(ies).

Constructor Summary

Constructors

Constructor and Description
ReasonerConfiguration()

Method Summary

Modifier and Type	Method and Description
Set<ReasonerStatementPattern>	getInferenceDrivingPatternAllowSet()
Set<ReasonerStatementPattern>	getInferenceDrivingPatternDenySet()
Set<ReasonerStatementPattern>	getInferenceReceivingPatternAllowSet()
boolean	getQueryForAllDatatypeProperties()
boolean	getQueryForAllObjectProperties()
boolean	getReasonOnAllDatatypePropertyStatements()
boolean	isIncrementalReasoningEnabled()
void	setIncrementalReasongingEnabled(boolean value)
void	setInferenceDrivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet)
void	setInferenceDrivingPatternDenySet(Set<ReasonerStatementPattern> patternSet)
void	setInferenceReceivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet)
void	setQueryForAllDatatypeProperties(boolean boole)
void	setQueryForAllObjectProperties(boolean boole)
void	setReasonOnAllDatatypePropertyStatements(boolean boole)

Methods inherited from class java.lang.Object

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

Field Detail

inferenceDrivingPatternAllowSet

public Set<ReasonerStatementPattern> inferenceDrivingPatternAllowSet

inferenceDrivingPatternDenySet

public Set<ReasonerStatementPattern> inferenceDrivingPatternDenySet

inferenceReceivingPatternAllowSet

public Set<ReasonerStatementPattern> inferenceReceivingPatternAllowSet

DEFAULT

public static ReasonerConfiguration DEFAULT

The default reasoner configuration is designed to provide acceptable performance on larger knowledge bases. It will classify and realize, and add inferred disjointWith statements. It ignores domain and range "axioms," on the assumption that they are not truly axioms but editing constraints.

COMPLETE

public static ReasonerConfiguration COMPLETE

This configuration will ask Pellet for "all" inferences (calls listStatements(null,null,null)). Usually suitable only for smaller ontologies.

PSEUDOCOMPLETE

public static ReasonerConfiguration PSEUDOCOMPLETE

This configuration will ask Pellet for the default inferences, plus all statements where the predicate is a property in the user's ontology(ies). Can lead to drastic performance improvements, depending on the ontology.

PSEUDOCOMPLETE_IGNORE_DATAPROPERTIES

public static ReasonerConfiguration PSEUDOCOMPLETE_IGNORE_DATAPROPERTIES

This configuration will ask Pellet for the default inferences, plus all statements where the predicate is an object property in the user's ontology(ies).

Constructor Detail

ReasonerConfiguration

public ReasonerConfiguration()

Method Detail

getInferenceDrivingPatternAllowSet

public Set<ReasonerStatementPattern> getInferenceDrivingPatternAllowSet()

setInferenceDrivingPatternAllowSet

public void setInferenceDrivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet)

getInferenceDrivingPatternDenySet

public Set<ReasonerStatementPattern> getInferenceDrivingPatternDenySet()

setInferenceDrivingPatternDenySet

public void setInferenceDrivingPatternDenySet(Set<ReasonerStatementPattern> patternSet)

getInferenceReceivingPatternAllowSet

public Set<ReasonerStatementPattern> getInferenceReceivingPatternAllowSet()

setInferenceReceivingPatternAllowSet

public void setInferenceReceivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet)

getQueryForAllObjectProperties

public boolean getQueryForAllObjectProperties()

setQueryForAllObjectProperties

public void setQueryForAllObjectProperties(boolean boole)

getReasonOnAllDatatypePropertyStatements

public boolean getReasonOnAllDatatypePropertyStatements()

setReasonOnAllDatatypePropertyStatements

public void setReasonOnAllDatatypePropertyStatements(boolean boole)

getQueryForAllDatatypeProperties

public boolean getQueryForAllDatatypeProperties()

setQueryForAllDatatypeProperties

public void setQueryForAllDatatypeProperties(boolean boole)

isIncrementalReasoningEnabled

public boolean isIncrementalReasoningEnabled()

setIncrementalReasongingEnabled

public void setIncrementalReasongingEnabled(boolean value)