F-mantık veya F-mantık ( mantıksal çerçeve ) bir bilgi temsili ve ontoloji dilidir . Kavramsal modellemenin avantajlarını nesne yönelimli ve çerçeve yönelimli dillerle birleştirir ve mantıksal bir dilin kesin anlambilimiyle sağlanan kompakt ve basit bir bildirimsel sözdizimi sunar. Özellikleri, nesne kimliği, karmaşık nesneler, kalıtım , çok biçimlilik , sorgu yöntemleri, kapsüllemeyi içerir . F-mantığı, ilişkisel veritabanı programlaması için klasik yüklem hesabı ne ise nesne yönelimli programlamadır .
F-logic, Michael Kifer ve Stony Brook Üniversitesi ve Mannheim Üniversitesi'nden Georg Lausen tarafından yazılmıştır . F-mantığı başlangıçta tümdengelimli veritabanları için geliştirilmiştir, ancak şu anda en sık semantik teknolojiler, özellikle Anlamsal Web için kullanılmaktadır . F-mantığı için formüllerle biridir ontolojiler ile, açıklama mantık ancak daha özellikle bir temel olarak kullanılan ve kabul edilen bir (DL) OWL .
Bir geliştirme ortamı olarak F-logic kullanan araçlar, NeOn projesi, bilgi entegrasyonu, soru / cevap sistemleri ve anlamsal araştırma bağlamında birçok uygulama için kullanılır . Protégé ontoloji editörünün 4. versiyondan önceki versiyonları, ontoloji oluşturmanın temellerinden biri olarak F-logic'i desteklemekteydi.
Kural Değişim Biçimi "Temel Mantık Diyalekti" nin (RIF BLD) "çerçeve" sözdizimi , W3C tarafından standartlaştırılan "mantık için temel bir lehçe" kural değiş tokuş biçimi F-mantığına dayanır; Bununla birlikte, RIF BLD, F-mantığının monoton olmayan muhakeme özelliklerini içermez.
Tanımlayıcı mantığa dayalı ontoloji formalizmlerinden farklı olarak , F-mantığındakiler genellikle kapalı bir dünya varsayar . ÖA'lardan olanlar genellikle zıt hipotezi, açık dünya hipotezini yaparlar . F-mantık genellikle undecidable gibi Biçimsel ise, açıklayıcı mantık Shoin üzerinde, OWL DL dayanır, Karar verilebilen bir. Bununla birlikte, F-logic ile bazı LD'lerden daha anlamlı olmak mümkündür.
F-mantığının en eksiksiz tanımı, F-mantığının taslağıdır. Ön yayın , ACM SIGMOD konferansından 1999 Zaman Testi Ödülünü kazandı . Sonraki bir makale 2002'de yeniden yayınladı.
F-Logic'te sınıflar ve elemanlar şu şekilde tanımlanabilir:
homme::personne. femme::personne. brad:homme. angelina:femme.Bu, "erkekler ve kadınlar insandır", "Brad bir erkek" ve "Angelina bir kadın" anlamına gelir.
Sınıflar ve bireyler ile ilgili bildirimler şu şekilde yapılabilir.
personne[aPourFils=>homme]. brad[aPourFils->>{maddox,pax}]. mariés(brad,angelina).Bu, "bir kişinin oğlu bir adamdır", "Maddox ve Pax, Brad'in oğullarıdır" ve "Brad ve Angelina evlidir" olarak tanımlar. Değer ->>kümeleri için kullanıldığına dikkat edin.
Ek olarak, F-mantığının aksiyomlarını aşağıdaki şekilde temsil etmek mümkündür.
homme(X) <- personne(X) AND NOT femme(X). FORALL X, Y <- X:personne[APOurPère->Y] <- Y:homme[APourFils -> X].Bu, "X bir erkekse, ancak kadın değilse bir erkektir" ve "X, Y'nin oğluysa, o zaman Y, X'in babasıdır" anlamına gelir.
Flora-2 basitçe teorik dile aksine sistem, bilgi gösterimi bir dil olarak dilin somut kullanımının kolaylaştırılması, F-mantık sözdizimine zamanı birçok değişiklik tanıtıldı. Özellikle değişkenler "?" Önekini aldı, Fonksiyonel özellik ile çok değerli özellik arasındaki ayrım terk edildi ve yerini kardinalite kısıtlamaları aldı, ...