Википедия
F-логика — — язык представления знаний и онтологий . F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов.
Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование , полиморфизм , запросные методы, инкапсуляцию . F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое исчислениее предикатов относится к реляционному программированию баз данных.
F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web .
F-логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL .
Среда разработки F-логики используется также в приложениях для информационной интеграции, вопросно-ответных системах и семантическом поиске.
Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии. Синтаксис Формата Правил Обмена ( RIF ) Консорциума Всемирной Паутины основан на F-логике.