org.semanticweb.HermiT

Class Configuration.PrepareReasonerInferences

java.lang.Object

org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

Enclosing class:

Configuration

public static class Configuration.PrepareReasonerInferences
extends Object

Prepare reasoner inferences.

Field Summary

Fields

Modifier and Type	Field and Description
boolean	classClassificationRequired class classification required
boolean	dataPropertyClassificationRequired data property classification required
boolean	dataPropertyRealisationRequired data property realisation required
boolean	objectPropertyClassificationRequired object property classification required
boolean	objectPropertyDomainsRequired object property domains required
boolean	objectPropertyRangesRequired object property ranges required
boolean	objectPropertyRealisationRequired object property realisation required
boolean	realisationRequired realisation required
boolean	sameAs individual same as required

Constructor Summary

Constructors

Constructor and Description
PrepareReasonerInferences()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

classClassificationRequired

public boolean classClassificationRequired

class classification required

objectPropertyClassificationRequired

public boolean objectPropertyClassificationRequired

object property classification required

dataPropertyClassificationRequired

public boolean dataPropertyClassificationRequired

data property classification required

objectPropertyDomainsRequired

public boolean objectPropertyDomainsRequired

object property domains required

objectPropertyRangesRequired

public boolean objectPropertyRangesRequired

object property ranges required

realisationRequired

public boolean realisationRequired

realisation required

objectPropertyRealisationRequired

public boolean objectPropertyRealisationRequired

object property realisation required

dataPropertyRealisationRequired

public boolean dataPropertyRealisationRequired

data property realisation required

sameAs

public boolean sameAs

individual same as required

Constructor Detail

PrepareReasonerInferences

public PrepareReasonerInferences()