Введение

F-логика (frame logic) - это язык представления знаний и онтологии. F-логика сочетает в себе преимущества концептуального моделирования с объектно-ориентированными языками, основанными на фрейм-системах, и предлагает декларативный, компактный и простой синтаксис, а также хорошо определенную семантику языка, основанного на логике. Особенности включают, среди прочего, идентификацию объектов, сложные объекты, наследование, полиморфизм, методы запроса, инкапсуляцию. F-логика находится в том же отношении к объектно-ориентированному программированию, что и классический реляционный исчисление к программированию реляционных баз данных.

Обзор

Логика F была разработана Майкл Кифером в Университете Стони Брук и Георгом Лаузеном в Университете Мангейма. F-логика первоначально была разработана для дедуктивных баз данных, но в настоящее время чаще всего используется для семантических технологий, особенно семантической сети. F-логика рассматривается как один из формализмов для онтологий, но логика описания (DL) более популярна и принята, как и OWL на основе DL. В рамках проекта NeOn была разработана среда разработки для F-логики, которая также используется в ряде приложений для интеграции информации, ответа на вопросы и семантического поиска. До версии 4 редактора онтологии Protégé F Logic поддерживается как один из двух типов онтологии. Синтаксис фрейм-формата базового логического диалекта формата обмена правилами (RIF BLD), стандартизированный консорциумом World Wide Web, основан на логике F; однако RIF BLD не включает в себя немонотонные функции рассуждения логики F. В отличие от описательного формализма, основанного на онтологии, семантика логики F обычно является предположением о закрытом мире, в отличие от предположения о открытом мире DL. Кроме того, логика F, как правило, не может быть решена, тогда как логика описания SHOIN, на которой основана OWL DL, может быть решена. Однако в логике F можно представить более выразительные утверждения, чем это возможно с логикой описания. Наиболее полное описание логики F было опубликовано в 1995 году. Предварительная статья 1989 года получила в 1999 году премию "Test of Time" от ACM SIGMOD. Дальнейшая работа 1992 года получила награду "Test of Time Award" от ACM SIGMOD. что ближе к отрицанию в классической логике.