org.semanticweb.HermiT

Interfaces

• Configuration.WarningMonitor

Classes

• Configuration
• Configuration.PrepareReasonerInferences
• EntailmentChecker
• Prefixes
• ProtegeReasonerFactory
• Reasoner
• Reasoner.ReasonerFactory
• ReasonerFactory

Enums

• Configuration.BlockingSignatureCacheType
• Configuration.BlockingStrategyType
• Configuration.DirectBlockingType
• Configuration.ExistentialStrategyType
• Configuration.TableauMonitorType