Uses of Interface
org.semanticweb.HermiT.Configuration.WarningMonitor

Packages that use Configuration.WarningMonitor
org.semanticweb.HermiT   
org.semanticweb.HermiT.structural   
 

Uses of Configuration.WarningMonitor in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as Configuration.WarningMonitor
 Configuration.WarningMonitor Configuration.warningMonitor
          One can implement an instance of this class and pass it to HermiT.
 

Uses of Configuration.WarningMonitor in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as Configuration.WarningMonitor
protected  Configuration.WarningMonitor ReducedABoxOnlyClausification.m_warningMonitor
           
protected  Configuration.WarningMonitor OWLClausification.DataRangeConverter.m_warningMonitor
           
 

Constructors in org.semanticweb.HermiT.structural with parameters of type Configuration.WarningMonitor
OWLClausification.DataRangeConverter(Configuration.WarningMonitor warningMonitor, java.util.Set<java.lang.String> definedDatatypeIRIs, java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions, boolean ignoreUnsupportedDatatypes)