|
Interfaces
Configuration.WarningMonitor |
|
Classes
Configuration Configuration.PrepareReasonerInferences EntailmentChecker Prefixes Prefixes.ImmutablePrefixes Reasoner Reasoner.ProtegeReasonerFactory Reasoner.ReasonerFactory |
|
Enums
Configuration.BlockingSignatureCacheType Configuration.BlockingStrategyType Configuration.DirectBlockingType Configuration.ExistentialStrategyType Configuration.TableauMonitorType |