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 |