Кіріспе
F логикасы (Frame logic) - білімді бейнелеу және онтология тілі. F логикасы тұжырымдамалық модельдеудің артықшылықтарын объектке бағдарланған, фреймге негізделген тілдермен біріктіреді және декларативті, компактты және қарапайым синтаксисті, сондай-ақ логикаға негізделген тілдің жақсы анықталған семантикасын ұсынады. Өзге ерекшеліктерге, басқалармен қатар, объект сәйкестігі, күрделі объектілер, мұрагерлік, полиморфизм, сұраныс әдістері, инкапсуляция кіреді. F логикасы классикалық реляциялық калькуль реляциялық деректер базасын бағдарламалауға қатысты сияқты объектке бағдарланған бағдарламалауға қатысты.
Шолу
F логикасын Майкл Кифер (Stony Brook University) және Георг Лаузен (Mannheim University) әзірледі. F логикасы бастапқыда дедуктивті деректер базалары үшін жасалды, бірақ қазір семантикалық технологиялар, әсіресе семантикалық веб үшін жиі қолданылады. F логикасы онтологиялар үшін формализмдердің бірі болып саналады, бірақ сипаттама логикасы (DL) DL негізделген OWL сияқты танымал және қабылданды. NeOn жобасында F логикасын дамыту ортасы жасалды және ол сондай-ақ ақпарат интеграциясы, сұрақтарға жауап беру және семантикалық іздеу үшін бірқатар қосымшаларда қолданылады. Protégé ontology редакторының 4-ші нұсқасына дейін F логика онтологияның екі түрінің бірі ретінде қолданады. World Wide Web консорциумы стандарттаған Rule Interchange Format Basic Logic Dialect (RIF BLD) фрейм синтаксисі F логикасына негізделген; RIF BLD F логикасының монотонды емес ойлау ерекшеліктерін қамтымайды. Сипаттамалық логикаға негізделген онтология формализміне қарағанда F логикасының семантикасы әдетте DL-дің ашық әлемге қарсы тұрып, жабық әлемге негізделген. Сонымен қатар, F логикасы жалпы алғанда шешілмейтін, ал OWL DL негізделген SHOIN сипаттама логикасы шешілетін. Дегенмен, F логикасында сипаттама логикасына қарағанда, экспрессивтірек мәлімдемелерді көрсетуге болады. F логикасының ең толық сипаттамасы 1995 жылы жарияланды. 1989 жылғы алдын ала жұмыс ACM SIGMOD-тен 1999 жылғы "Уақыт сынағы" сыйлығын жеңіп алды. 1992 жылғы келесі мақала ACM SIGMOD-тен 2002 жылғы "Уақыт сынағы" сыйлығын жеңіп алды. Бұл классикалық логикадағы теріс тұжырымға жақын.
the SHOIN description logic that OWL DL is based on is decidable. However it is possible to represent more expressive statements in F logic than are possible with description logics. The most comprehensive description of F logic was published in 1995. The preliminary paper from 1989 won the 1999 Test of Time Award from ACM SIGMOD. A follow up paper from 1992 won the 2002 Test of Time Award from ACM SIGMOD. which is closer to negation in classical logic.