F-mantık - F-logic

F-mantık ( çerçeve mantığı ) bir bilgi temsili ve ontoloji dilidir . F-logic, kavramsal modellemenin avantajlarını nesne yönelimli, çerçeve tabanlı dillerle birleştirir ve mantıksal temelli bir dilin iyi tanımlanmış semantiğinin yanı sıra bildirimsel, kompakt ve basit bir sözdizimi sunar.

Özellikler, diğerleri arasında, nesne kimliği, karmaşık nesneler, kalıtım , polimorfizm , sorgulama yöntemleri, kapsülleme içerir . F-mantık, nesne yönelimli programlama ile aynı ilişki içindedir , klasik ilişkisel analiz , ilişkisel veritabanı programlama ile aynıdır .

genel bakış

F-mantık, Stony Brook Üniversitesi'nde Michael Kifer ve Mannheim Üniversitesi'nde Georg Lausen tarafından geliştirilmiştir . F-mantık başlangıçta tümdengelimli veritabanları için geliştirilmiştir, ancak şimdi en sık anlamsal teknolojiler, özellikle anlamsal web için kullanılmaktadır . F-mantığı, ontolojiler için formalizmlerden biri olarak kabul edilir , ancak açıklama mantığı (DL), DL tabanlı OWL gibi daha popüler ve kabul edilir .

NeOn projesinde F-logic için bir geliştirme ortamı geliştirildi ve ayrıca bilgi entegrasyonu, soru cevaplama ve anlamsal arama için bir dizi uygulamada kullanılıyor . Protégé ontoloji düzenleyicisinin 4. sürümünden önce, F-Logic iki tür ontolojiden biri olarak desteklenir.

World Wide Web Konsorsiyumu tarafından standartlaştırılmış Kural Değişim Biçimi Temel Mantık Lehçesinin (RIF BLD) çerçeve sözdizimi F-mantığına dayanmaktadır; Ancak RIF BLD , F-mantığının monoton olmayan akıl yürütme özelliklerini içermez .

Tanımlama mantığına dayalı ontoloji biçimciliğinin aksine , F-mantığının semantiği normalde DL'nin açık dünya varsayımının aksine kapalı bir dünya varsayımınınkidir . Ayrıca, K-lojik genellikle undecidable oysa Shoin açıklama mantığı bu OWL DL dayanmaktadır Karar verilebilen bir. Bununla birlikte, F-mantığında, açıklama mantığıyla mümkün olandan daha anlamlı ifadeleri temsil etmek mümkündür.

F- logic'in en kapsamlı açıklaması 1995'te yayınlandı. 1989'daki ön makale, ACM SIGMOD'dan 1999 Test of Time Ödülü'nü kazandı . 1992'den bir takip makalesi, ACM SIGMOD'dan 2002 Test of Time Ödülü'nü kazandı.

F-mantık sözdizimi

Sınıflar ve bireyler F-mantıkta aşağıdaki gibi tanımlanabilir: 

man::person.
woman::person.
brad:man.
angelina:woman.

Bu, "erkekler ve kadınlar kişidir" ve "Brad bir erkektir" ve "Angelina bir kadındır" der.

Sınıflar ve bireylerle ilgili açıklamalar şu şekilde yapılabilir: 

person[hasSon=>man].
brad[hasSon->{maddox,pax}].
married(brad,angelina).

Bu, "bir insanın oğlu bir erkektir", "Maddox ve Pax, Brad'in oğullarıdır" ve "Brad ve Angelina evlidir" olarak tanımlar.

Ek olarak, aksiyomları F mantığında aşağıdaki şekilde temsil etmek mümkündür: 

man(X) <- person(X) AND NOT woman(X).
X:person[hasFather->Y] <- Y:man[hasSon -> X].

Bunlar, "X bir insansa ama kadın değilse X erkektir" ve "X, Y'nin oğluysa, X bir kişidir ve Y, X'in babasıdır" anlamına gelir.

Flora-2 sistemi, bilgi gösterimi için daha uygun hale getirmektedir ve sadece teorik mantık aksine sistemi muhakeme, K-mantık sözdizimine bir dizi değişiklik getirmiştir. Özellikle, değişkenler bir ?-işareti ile önek haline getirildi, fonksiyonel ve çok değerli özellikler arasındaki ayrım kaldırıldı ve kardinalite kısıtlamaları ve diğer önemli değişiklikler ile değiştirildi. Örneğin, yukarıdaki cümle çifti Flora-2'de şöyle görünür: 

man(?X) <- person(?X) \and \naf woman(?X).
?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X].

Burada \naf varsayılan olumsuzlamadır ("naf", sağlam temellere dayanan anlambilime dayalı olarak başarısızlık olarak olumsuzlama anlamına gelir ); Flora-2 ayrıca klasik mantıkta olumsuzlamaya daha yakın olan sözde açık olumsuzlamayı da destekler.

F-mantık tabanlı diller

Referanslar