एफ तर्क: Difference between revisions
(Created page with "एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) तर्क प्रोग्रामिंग ) एक ज्ञान प्रत...") |
No edit summary |
||
| Line 1: | Line 1: | ||
एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) [[ तर्क प्रोग्रामिंग ]]) | एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) [[ तर्क प्रोग्रामिंग ]]) ज्ञान प्रतिनिधित्व और [[ऑन्कोलॉजी भाषा]] है। एफ-लॉजिक वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है। | ||
सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-लॉजिक [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] के समान संबंध में खड़ा होता है क्योंकि क्लासिकल [[संबंधपरक गणना]] [[ संबंध का डेटाबेस ]] प्रोग्रामिंग के लिए खड़ा होता है। | सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-लॉजिक [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] के समान संबंध में खड़ा होता है क्योंकि क्लासिकल [[संबंधपरक गणना]] [[ संबंध का डेटाबेस ]] प्रोग्रामिंग के लिए खड़ा होता है। | ||
== सिंहावलोकन == | == सिंहावलोकन == | ||
एफ-लॉजिक का विकास [[स्टोनी ब्रुक विश्वविद्यालय]] में माइकल किफ़र और [[मैनहेम विश्वविद्यालय]] में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-लॉजिक मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से [[सेमांटिक वेब]] के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-लॉजिक को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से | एफ-लॉजिक का विकास [[स्टोनी ब्रुक विश्वविद्यालय]] में माइकल किफ़र और [[मैनहेम विश्वविद्यालय]] में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-लॉजिक मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से [[सेमांटिक वेब]] के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-लॉजिक को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, लेकिन [[विवरण तर्क]] (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित [[वेब ओन्टोलॉजी भाषा]] है। | ||
एफ-लॉजिक के लिए | एफ-लॉजिक के लिए विकास पर्यावरण NeOn परियोजना में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, [[प्रश्न उत्तर]] और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग ऑन्कोलॉजी संपादक के संस्करण 4 से पहले, एफ-लॉजिक को दो प्रकार के ऑन्कोलॉजी में से के रूप में समर्थित किया गया है। | ||
[[ विश्वव्यापी वेब संकाय ]] द्वारा मानकीकृत [[नियम विनिमय प्रारूप]] बेसिक लॉजिक डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-लॉजिक पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-लॉजिक की [[गैर-मोनोटोनिक तर्क]] विशेषताएं शामिल नहीं हैं।<ref name="Krötzsch2010">{{cite book|author=M. Krötzsch|title=विवरण तर्क नियम|url=https://books.google.com/books?id=Z8h7AgAAQBAJ&pg=PA10|date=October 2010|publisher=IOS Press|isbn=978-1-61499-342-1|page=10}}</ref> | [[ विश्वव्यापी वेब संकाय ]] द्वारा मानकीकृत [[नियम विनिमय प्रारूप]] बेसिक लॉजिक डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-लॉजिक पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-लॉजिक की [[गैर-मोनोटोनिक तर्क]] विशेषताएं शामिल नहीं हैं।<ref name="Krötzsch2010">{{cite book|author=M. Krötzsch|title=विवरण तर्क नियम|url=https://books.google.com/books?id=Z8h7AgAAQBAJ&pg=PA10|date=October 2010|publisher=IOS Press|isbn=978-1-61499-342-1|page=10}}</ref> | ||
विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-लॉजिक के शब्दार्थ सामान्य रूप से डीएल की [[खुली दुनिया धारणा]] के विपरीत | विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-लॉजिक के शब्दार्थ सामान्य रूप से डीएल की [[खुली दुनिया धारणा]] के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-लॉजिक आम तौर पर [[अनिर्णीत समस्या]] है,{{Citation needed|date=May 2014}} जबकि | ||
[[SHOIN]] जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-लॉजिक में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है। | [[SHOIN]] जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-लॉजिक में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है। | ||
एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था।<ref>M. Kifer, G. Lausen, J. Wu (1995). "Logical foundations of object-oriented and frame-based languages", ''[[Journal of the ACM]]'' 42(4), July 1995, 741–843. {{doi|10.1145/210332.210335}}</ref> प्रारंभिक पेपर<ref>M. Kifer and G. Lausen (1989). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", ''ACM SIGMOD Record'' 18(2), June 1989, 134–146. {{doi|10.1145/66926.66939}}</ref><ref>M. Kifer and G. Lausen (1997). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", re-issued 1997. {{doi|10.1145/66926.66939}}</ref> 1989 से [[SIGMOD]] से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता।<ref name="TOT">{{cite web |url=https://sigmod.org/sigmod-awards/sigmod-test-of-time-award/ |title=SIGMOD टेस्ट ऑफ़ टाइम अवार्ड|website=sigmod.org |access-date=2019-03-19}}</ref> | एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था।<ref>M. Kifer, G. Lausen, J. Wu (1995). "Logical foundations of object-oriented and frame-based languages", ''[[Journal of the ACM]]'' 42(4), July 1995, 741–843. {{doi|10.1145/210332.210335}}</ref> प्रारंभिक पेपर<ref>M. Kifer and G. Lausen (1989). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", ''ACM SIGMOD Record'' 18(2), June 1989, 134–146. {{doi|10.1145/66926.66939}}</ref><ref>M. Kifer and G. Lausen (1997). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", re-issued 1997. {{doi|10.1145/66926.66939}}</ref> 1989 से [[SIGMOD]] से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता।<ref name="TOT">{{cite web |url=https://sigmod.org/sigmod-awards/sigmod-test-of-time-award/ |title=SIGMOD टेस्ट ऑफ़ टाइम अवार्ड|website=sigmod.org |access-date=2019-03-19}}</ref> अनुवर्ती पत्र<ref>M. Kifer, W. Kim, Y. Sagiv (1992). "Querying object-oriented databases", ''ACM SIGMOD Record'' 21(2), June 1992, 393–402. {{doi|10.1145/141484.130342}}</ref> 1992 से ACM SIGMOD से 2002 का टेस्ट ऑफ़ टाइम अवार्ड जीता।<ref name="TOT"/> | ||
| Line 23: | Line 23: | ||
ब्रैड: यार। | ब्रैड: यार। | ||
एंजेलीना: महिला। | एंजेलीना: महिला। | ||
इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड | इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है। | ||
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं: | वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं: | ||
| Line 29: | Line 29: | ||
ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]। | ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]। | ||
विवाहित (ब्रैड, एंजेलीना)। | विवाहित (ब्रैड, एंजेलीना)। | ||
यह परिभाषित करता है कि | यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं। | ||
इसके अलावा निम्नलिखित तरीके से एफ-लॉजिक में सिद्धांतों का प्रतिनिधित्व करना संभव है: | इसके अलावा निम्नलिखित तरीके से एफ-लॉजिक में सिद्धांतों का प्रतिनिधित्व करना संभव है: | ||
| Line 36: | Line 36: | ||
X:person[hasFather->Y] <- Y:man[hasSon -> X]. | X:person[hasFather->Y] <- Y:man[hasSon -> X]. | ||
}} | }} | ||
इसका अर्थ है कि X | इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है लेकिन महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है। | ||
(ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं। | (ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं। | ||
एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।) | एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।) | ||
[[फ्लोरा-2]] -2 प्रणाली ने एफ-लॉजिक के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल | [[फ्लोरा-2]] -2 प्रणाली ने एफ-लॉजिक के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है: | ||
{{sxhl|2=prolog| | {{sxhl|2=prolog| | ||
man(?X) <- person(?X) \and \naf woman(?X). | man(?X) <- person(?X) \and \naf woman(?X). | ||
| Line 50: | Line 50: | ||
== एफ-तर्क आधारित भाषाएं == | == एफ-तर्क आधारित भाषाएं == | ||
* फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ-लॉजिक का विस्तार है। | * फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ-लॉजिक का विस्तार है। | ||
* [http://coherentknowledge.com/ergo-documentation/ Ergo] F-लॉजिक पर आधारित | * [http://coherentknowledge.com/ergo-documentation/ Ergo] F-लॉजिक पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है। | ||
* [http://pathlp.sourceforge.net/ PathLP] एफ-लॉजिक पर आधारित | * [http://pathlp.sourceforge.net/ PathLP] एफ-लॉजिक पर आधारित फुल लॉजिक प्रोग्रामिंग लैंग्वेज है। | ||
* [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID] | * [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID] C++ आधारित कार्यान्वयन है | ||
* [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)] | * [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)] | ||
* [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)] | * [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)] | ||
* ObjectLogic भाषा F-लॉजिक पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में [[Ontoprise GmbH]]) द्वारा | * ObjectLogic भाषा F-लॉजिक पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में [[Ontoprise GmbH]]) द्वारा ObjectLogic कार्यान्वयन है। | ||
* OO-लॉजिक F-लॉजिक का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-लॉजिक के कार्यान्वयन हैं। | * OO-लॉजिक F-लॉजिक का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-लॉजिक के कार्यान्वयन हैं। | ||
Revision as of 19:00, 18 May 2023
एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) तर्क प्रोग्रामिंग ) ज्ञान प्रतिनिधित्व और ऑन्कोलॉजी भाषा है। एफ-लॉजिक वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।
सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, वंशानुक्रम (कंप्यूटर विज्ञान), बहुरूपता (कंप्यूटर विज्ञान), क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-लॉजिक ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग के समान संबंध में खड़ा होता है क्योंकि क्लासिकल संबंधपरक गणना संबंध का डेटाबेस प्रोग्रामिंग के लिए खड़ा होता है।
सिंहावलोकन
एफ-लॉजिक का विकास स्टोनी ब्रुक विश्वविद्यालय में माइकल किफ़र और मैनहेम विश्वविद्यालय में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-लॉजिक मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से सेमांटिक वेब के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-लॉजिक को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, लेकिन विवरण तर्क (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित वेब ओन्टोलॉजी भाषा है।
एफ-लॉजिक के लिए विकास पर्यावरण NeOn परियोजना में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, प्रश्न उत्तर और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग ऑन्कोलॉजी संपादक के संस्करण 4 से पहले, एफ-लॉजिक को दो प्रकार के ऑन्कोलॉजी में से के रूप में समर्थित किया गया है।
विश्वव्यापी वेब संकाय द्वारा मानकीकृत नियम विनिमय प्रारूप बेसिक लॉजिक डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-लॉजिक पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-लॉजिक की गैर-मोनोटोनिक तर्क विशेषताएं शामिल नहीं हैं।[1]
विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-लॉजिक के शब्दार्थ सामान्य रूप से डीएल की खुली दुनिया धारणा के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-लॉजिक आम तौर पर अनिर्णीत समस्या है,[citation needed] जबकि SHOIN जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-लॉजिक में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।
एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था।[2] प्रारंभिक पेपर[3][4] 1989 से SIGMOD से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता।[5] अनुवर्ती पत्र[6] 1992 से ACM SIGMOD से 2002 का टेस्ट ऑफ़ टाइम अवार्ड जीता।[5]
एफ-लॉजिक सिंटैक्स
वर्गों और व्यक्तियों को एफ-लॉजिक में निम्नानुसार परिभाषित किया जा सकता है:
आदमी :: व्यक्ति। महिला :: व्यक्ति। ब्रैड: यार। एंजेलीना: महिला।
इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है।
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:
व्यक्ति [हैसोन => आदमी]।
ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]।
विवाहित (ब्रैड, एंजेलीना)।
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।
इसके अलावा निम्नलिखित तरीके से एफ-लॉजिक में सिद्धांतों का प्रतिनिधित्व करना संभव है:
man(X) <- person(X) AND NOT woman(X).
X:person[hasFather->Y] <- Y:man[hasSon -> X].
इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है लेकिन महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है।
(ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं। एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।)
फ्लोरा-2 -2 प्रणाली ने एफ-लॉजिक के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है:
man(?X) <- person(?X) \and \naf woman(?X).
?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X].
यहाँ \naf डिफ़ॉल्ट अस्वीकृति है ( naf नकारात्मकता के लिए विफलता के रूप में खड़ा है, अच्छी तरह से स्थापित शब्दार्थ के आधार पर); फ्लोरा-2 भी तथाकथित स्पष्ट निषेध का समर्थन करता है,[7] जो शास्त्रीय तर्क में निषेध के करीब है।
एफ-तर्क आधारित भाषाएं
- फ्लोरा -2 हाईलॉग, लेन-देन तर्क और अक्षम्य तर्क के साथ एफ-लॉजिक का विस्तार है।
- Ergo F-लॉजिक पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है।
- PathLP एफ-लॉजिक पर आधारित फुल लॉजिक प्रोग्रामिंग लैंग्वेज है।
- FLORID C++ आधारित कार्यान्वयन है
- वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)
- सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)
- ObjectLogic भाषा F-लॉजिक पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में Ontoprise GmbH) द्वारा ObjectLogic कार्यान्वयन है।
- OO-लॉजिक F-लॉजिक का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-लॉजिक के कार्यान्वयन हैं।
संदर्भ
- ↑ M. Krötzsch (October 2010). विवरण तर्क नियम. IOS Press. p. 10. ISBN 978-1-61499-342-1.
- ↑ M. Kifer, G. Lausen, J. Wu (1995). "Logical foundations of object-oriented and frame-based languages", Journal of the ACM 42(4), July 1995, 741–843. doi:10.1145/210332.210335
- ↑ M. Kifer and G. Lausen (1989). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", ACM SIGMOD Record 18(2), June 1989, 134–146. doi:10.1145/66926.66939
- ↑ M. Kifer and G. Lausen (1997). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", re-issued 1997. doi:10.1145/66926.66939
- ↑ 5.0 5.1 "SIGMOD टेस्ट ऑफ़ टाइम अवार्ड". sigmod.org. Retrieved 2019-03-19.
- ↑ M. Kifer, W. Kim, Y. Sagiv (1992). "Querying object-oriented databases", ACM SIGMOD Record 21(2), June 1992, 393–402. doi:10.1145/141484.130342
- ↑ Alferes, José Júlio; Pereira, Luís Moniz; Przymusinski, Teodor C. (April 1998). "गैर-मोनोटोनिक तर्क और तर्क प्रोग्रामिंग में 'शास्त्रीय' निषेध". Journal of Automated Reasoning. 20 (1–2): 107–142. doi:10.1023/A:1005900924623. S2CID 8882426.
