owl.translations.ldba2dra
Classes
MapRankingAutomaton
MapRankingState