owl.translations
Classes
ExternalTranslator
LTL2DA
LTL2DPA
SimpleTranslations
Synthesis