एफ तर्क

एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) तर्क प्रोग्रामिंग ) एक ज्ञान प्रतिनिधित्व और ऑन्कोलॉजी भाषा है। एफ-लॉजिक वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और एक घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।

सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, वंशानुक्रम (कंप्यूटर विज्ञान), बहुरूपता (कंप्यूटर विज्ञान), क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-लॉजिक ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग  के समान संबंध में खड़ा होता है क्योंकि क्लासिकल संबंधपरक गणना  संबंध का डेटाबेस  प्रोग्रामिंग के लिए खड़ा होता है।

सिंहावलोकन
एफ-लॉजिक का विकास स्टोनी ब्रुक विश्वविद्यालय में माइकल किफ़र और मैनहेम विश्वविद्यालय में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-लॉजिक मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से सेमांटिक वेब के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-लॉजिक को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से एक माना जाता है, लेकिन विवरण तर्क (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित वेब ओन्टोलॉजी भाषा है।

एफ-लॉजिक के लिए एक विकास पर्यावरण NeOn परियोजना में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, प्रश्न उत्तर और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग ऑन्कोलॉजी संपादक के संस्करण 4 से पहले, एफ-लॉजिक को दो प्रकार के ऑन्कोलॉजी में से एक के रूप में समर्थित किया गया है।

विश्वव्यापी वेब संकाय द्वारा मानकीकृत नियम विनिमय प्रारूप बेसिक लॉजिक डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-लॉजिक पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-लॉजिक की गैर-मोनोटोनिक तर्क विशेषताएं शामिल नहीं हैं।

विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-लॉजिक के शब्दार्थ सामान्य रूप से डीएल की खुली दुनिया धारणा के विपरीत एक बंद विश्व धारणा के हैं। साथ ही, एफ-लॉजिक आम तौर पर अनिर्णीत समस्या है, जबकि SHOIN जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-लॉजिक में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।

एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था। प्रारंभिक पेपर 1989 से SIGMOD से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता। एक अनुवर्ती पत्र 1992 से ACM SIGMOD से 2002 का टेस्ट ऑफ़ टाइम अवार्ड जीता।

एफ-लॉजिक सिंटैक्स
वर्गों और व्यक्तियों को एफ-लॉजिक में निम्नानुसार परिभाषित किया जा सकता है: आदमी :: व्यक्ति। महिला :: व्यक्ति। ब्रैड: यार। एंजेलीना: महिला। इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड एक पुरुष है, और एंजेलिना एक महिला है।

वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं: व्यक्ति [हैसोन => आदमी]। ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]। विवाहित (ब्रैड, एंजेलीना)। यह परिभाषित करता है कि एक व्यक्ति का बेटा एक आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।

इसके अलावा निम्नलिखित तरीके से एफ-लॉजिक में सिद्धांतों का प्रतिनिधित्व करना संभव है:

इसका अर्थ है कि X एक पुरुष है यदि X एक व्यक्ति है लेकिन एक महिला नहीं है और यदि X, Y का पुत्र है तो X एक व्यक्ति है और Y, X का पिता है।

(ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं। एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।)

फ्लोरा-2 -2 प्रणाली ने एफ-लॉजिक के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल एक सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है:

यहाँ \naf डिफ़ॉल्ट अस्वीकृति है ( naf नकारात्मकता के लिए विफलता के रूप में खड़ा है, अच्छी तरह से स्थापित शब्दार्थ के आधार पर); फ्लोरा-2 भी तथाकथित स्पष्ट निषेध का समर्थन करता है, जो शास्त्रीय तर्क में निषेध के करीब है।

एफ-तर्क आधारित भाषाएं

 * फ्लोरा -2 हाईलॉग, लेन-देन तर्क और अक्षम्य तर्क के साथ एफ-लॉजिक का विस्तार है।
 * Ergo F-लॉजिक पर आधारित एक कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है।
 * PathLP एफ-लॉजिक पर आधारित एक फुल लॉजिक प्रोग्रामिंग लैंग्वेज है।
 * FLORID एक C++ आधारित कार्यान्वयन है
 * वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)
 * सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)
 * ObjectLogic भाषा F-लॉजिक पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में Ontoprise GmbH) द्वारा एक ObjectLogic कार्यान्वयन है।
 * OO-लॉजिक F-लॉजिक का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-लॉजिक के कार्यान्वयन हैं।