Uses of Package
menu

Packages that use menu

Package	Description
menu
owl_api.binding

Classes in menu used by menu

Class	Description
OWLAPIKeywords	Keywords for rulewerk
OWLAPIKeywords.Explanation
OWLAPIKeywords.Explanation.ContractionStrategyType
OWLAPIKeywords.Explanation.EntailmentCheckerType
OWLAPIKeywords.Explanation.ExpansionStrategyType
OWLAPIKeywords.Explanation.ExplanationProgressMonitorType
OWLAPIKeywords.FileExtensions	Input file extensions supported
OWLAPIKeywords.FileExtensions.Factbase	File extensions for fact base
OWLAPIKeywords.FileExtensions.Querybase	File extensions for query base
OWLAPIKeywords.FileExtensions.Rulebase	File extensions for rule base
OWLAPIKeywords.Service	Supported algorithms

Classes in menu used by owl_api.binding

Class	Description
OWLAPIKeywords.Explanation.ContractionStrategyType
OWLAPIKeywords.Explanation.EntailmentCheckerType
OWLAPIKeywords.Explanation.ExpansionStrategyType
OWLAPIKeywords.Explanation.ExplanationProgressMonitorType