Prior to the version 4 of Protégé ontology editor, F-Logic is supported as one of the two kinds of ontology.
Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии.