फ्लोरा-2 - Revision history

Abhishekkshukla at 10:42, 30 October 2023

2023-10-30T10:42:36Z

← Older revision		Revision as of 16:12, 30 October 2023
Line 1:		Line 1:
	फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क\|ज्ञान प्रतिनिधित्व एवं तर्क]] के लिए संवृत स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा [[एफ तर्क]] <ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलॉग,<ref name="hilog-jlp">		'''फ्लोरा-2''' [[ज्ञान प्रतिनिधित्व और तर्क\|ज्ञान प्रतिनिधित्व एवं तर्क]] के लिए संवृत स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा [[एफ तर्क]] <ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलॉग,<ref name="hilog-jlp">
	W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.		W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.
	</ref> एवं आदान-प्रदान तर्क से ली गई है।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा-2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref> फ्लोरा-2 स्वयं अनुमान इंजन के लिए [[XSB\|एक्स एसबी]] पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref> प्रणाली का विवरण एवं इसका उपयोग फ्लोरा-2 उपयोगकर्ता के नियमावली वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा-2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] एवं [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] एवं [[ Mac OS X \| मैक ओएस एक्स]] के अन्य स्वाद सम्मिलित हैं।		</ref> एवं आदान-प्रदान तर्क से ली गई है।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा-2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref> फ्लोरा-2 स्वयं अनुमान इंजन के लिए [[XSB\|एक्स एसबी]] पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref> प्रणाली का विवरण एवं इसका उपयोग फ्लोरा-2 उपयोगकर्ता के नियमावली वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा-2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] एवं [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] एवं [[ Mac OS X \| मैक ओएस एक्स]] के अन्य स्वाद सम्मिलित हैं।

Manidh at 10:25, 29 May 2023

2023-05-29T10:25:20Z

← Older revision		Revision as of 15:55, 29 May 2023
Line 20:		Line 20:
	==बाहरी संबंध==		==बाहरी संबंध==
	*[http://flora.sourceforge.net ''Flora-2 Web site''].		*[http://flora.sourceforge.net ''Flora-2 Web site''].
	~~[[Category: तर्क प्रोग्रामिंग भाषाएँ]]~~

			[[Category:All articles with dead external links]]
			[[Category:Articles with dead external links from November 2022]]
	[[Category: ~~Machine Translated Page~~]]		[[Category:Articles with permanently dead external links]]
	[[Category:Created On 15/05/2023]]		[[Category:Created On 15/05/2023]]
	[[Category:Vigyan Ready]]		[[Category:Machine Translated Page]]
			[[Category:Pages with script errors]]
			[[Category:Templates Vigyan Ready]]
			[[Category:तर्क प्रोग्रामिंग भाषाएँ]]

Indicwiki: 6 revisions imported from :alpha:फ्लोरा-2

2023-05-26T05:51:54Z

6 revisions imported from alpha:फ्लोरा-2

← Older revision	Revision as of 11:21, 26 May 2023
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2023-05-26T03:28:03Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 08:58, 26 May 2023
Line 26:		Line 26:
	[[Category: Machine Translated Page]]		[[Category: Machine Translated Page]]
	[[Category:Created On 15/05/2023]]		[[Category:Created On 15/05/2023]]
			[[Category:Vigyan Ready]]

alpha>Artiverma at 09:03, 20 May 2023

2023-05-20T09:03:25Z

← Older revision		Revision as of 14:33, 20 May 2023
Line 1:		Line 1:
	फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क\|ज्ञान प्रतिनिधित्व एवं तर्क]] के लिए ~~खुला~~ स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा [[एफ ~~तर्क\|F~~ तर्क]] <ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> ~~हाईलोग~~,<ref name="hilog-jlp">		फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क\|ज्ञान प्रतिनिधित्व एवं तर्क]] के लिए संवृत स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा [[एफ तर्क]] <ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलॉग,<ref name="hilog-jlp">
	W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.		W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.
	</ref> एवं आदान-~~प्रदानतर्क~~ से ली गई है।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा -2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref> फ्लोरा-2 स्वयं अनुमान इंजन के लिए [[XSB]] पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref> प्रणाली का विवरण एवं इसका उपयोग फ्लोरा -2 उपयोगकर्ता के नियमावली वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] एवं [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] एवं [[ Mac OS X ]] के अन्य स्वाद सम्मिलित हैं।		</ref> एवं आदान-प्रदान तर्क से ली गई है।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा-2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref> फ्लोरा-2 स्वयं अनुमान इंजन के लिए [[XSB\|एक्स एसबी]] पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref> प्रणाली का विवरण एवं इसका उपयोग फ्लोरा-2 उपयोगकर्ता के नियमावली वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा-2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] एवं [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] एवं [[ Mac OS X \| मैक ओएस एक्स]] के अन्य स्वाद सम्मिलित हैं।

	== इतिहास ==		== इतिहास ==

	फ्लोरा-2 ~~फ्लोरा~~ प्रणाली (1998-1999) का उत्तराधिकारी है एवं ~~इसमें~~ मूल फ्लोरा प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना के प्रारम्भ वर्ष 2000 के निकट गुइझेन यांग एवं माइकल किफर ने की थी। पश्चात के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।		फ्लोरा-2 ऐसी प्रणाली (1998-1999) का उत्तराधिकारी है एवं जिसमें मूल फ्लोरा प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना के प्रारम्भ वर्ष 2000 के निकट गुइझेन यांग एवं माइकल किफर ने की थी। पश्चात के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।

	== फ्लोरा -2 == का उपयोग कर परियोजनाएं		फ्लोरा-2 का उपयोग कर परियोजनाएं निम्नलिखित है।

	* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ ~~TaOPiS~~] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>		* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ टी.ए ओपीआईएस] स्व-संगठित समुदायों का समर्थन करने के लिए सामाजिक शब्दार्थ वेब का अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>
	* [http://code.google.com/p/the-baze/ बेज़] [[Microsoft Access\|माइक्रोसॉफ्ट एक्सेस]] एवं [[LibreOffice Base\|लिब्रे ऑफिस बेस]] के समान डेटाबेस विकास वातावरण है।		* [http://code.google.com/p/the-baze/ बेज़] [[Microsoft Access\|माइक्रोसॉफ्ट एक्सेस]] एवं [[LibreOffice Base\|लिब्रे ऑफिस बेस]] के समान डेटाबेस विकास वातावरण है।
	* [https://github.com/johannesloetzsch/reasonablepy रिज़नेबलपायथन] मॉड्यूल है जो F-तर्क को पायथन में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>		* [https://github.com/johannesloetzsch/reasonablepy रिज़नेबलपायथन] मॉड्यूल है जो F-तर्क को पायथन में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>
	* [http://frdcsa.org/frdcsa ~~FRDCSA~~] परियोजना पर्ल एवं ~~FreeKBS3~~ प्रणाली से फ्लोरा-2 एवं हाईलॉग तक पहुंच का समर्थन करने के लिए पर्ल ~~XSB~~ इंटरफ़ेस का विस्तार विकसित कर रही है।		* [http://frdcsa.org/frdcsa एफआरडीसीएसए] परियोजना पर्ल एवं फ्री केबीएस3 प्रणाली से फ्लोरा-2 एवं हाईलॉग तक पहुंच का समर्थन करने के लिए पर्ल एक्सएसबी इंटरफ़ेस का विस्तार विकसित कर रही है।

	==संदर्भ==		==संदर्भ==

alpha>Artiverma at 05:43, 19 May 2023

2023-05-19T05:43:29Z

← Older revision		Revision as of 11:13, 19 May 2023
Line 10:		Line 10:

	* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ TaOPiS] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>		* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ TaOPiS] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>
	* [http://code.google.com/p/the-baze/ ~~Baze~~] [[Microsoft Access]] एवं [[LibreOffice Base]] के समान एक डेटाबेस विकास वातावरण है।		* [http://code.google.com/p/the-baze/ बेज़] [[Microsoft Access\|माइक्रोसॉफ्ट एक्सेस]] एवं [[LibreOffice Base\|लिब्रे ऑफिस बेस]] के समान डेटाबेस विकास वातावरण है।
	* [https://github.com/johannesloetzsch/reasonablepy ~~ReasonablePython~~] एक मॉड्यूल है जो F-~~Logic~~ को ~~Python~~ में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>		* [https://github.com/johannesloetzsch/reasonablepy रिज़नेबलपायथन] मॉड्यूल है जो F-तर्क को पायथन में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>
	* [http://frdcsa.org/frdcsa FRDCSA] परियोजना पर्ल एवं FreeKBS3 प्रणाली से फ्लोरा-2 एवं ~~HiLog~~ तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।		* [http://frdcsa.org/frdcsa FRDCSA] परियोजना पर्ल एवं FreeKBS3 प्रणाली से फ्लोरा-2 एवं हाईलॉग तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।

	==संदर्भ==		==संदर्भ==

alpha>Artiverma at 05:39, 19 May 2023

2023-05-19T05:39:02Z

← Older revision		Revision as of 11:09, 19 May 2023
Line 5:		Line 5:
	== इतिहास ==		== इतिहास ==

	फ्लोरा-2 फ्लोरा प्रणाली (1998-1999) का उत्तराधिकारी है एवं इसमें मूल फ्लोरा प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना ~~की शुरुआत~~ वर्ष 2000 के ~~आसपास~~ गुइझेन यांग एवं माइकल किफर ने की थी। ~~बाद~~ के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।		फ्लोरा-2 फ्लोरा प्रणाली (1998-1999) का उत्तराधिकारी है एवं इसमें मूल फ्लोरा प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना के प्रारम्भ वर्ष 2000 के निकट गुइझेन यांग एवं माइकल किफर ने की थी। पश्चात के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।

	== फ्लोरा -2 == का उपयोग कर परियोजनाएं		== फ्लोरा -2 == का उपयोग कर परियोजनाएं

alpha>Artiverma at 05:36, 19 May 2023

2023-05-19T05:36:30Z

← Older revision		Revision as of 11:06, 19 May 2023
Line 1:		Line 1:
	फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क]] के लिए एक खुला स्रोत सिमेंटिक नियम-आधारित प्रणाली है।		फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क\|ज्ञान प्रतिनिधित्व एवं तर्क]] के लिए खुला स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा [[एफ तर्क\|F तर्क]] <ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलोग,<ref name="hilog-jlp">
	~~सिस्टम~~ की भाषा [[एफ तर्क]] ~~से ली गई है,~~<ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलोग,<ref name="hilog-jlp">
	W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.		W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.
	</ref> ~~और लेनदेन तर्क।~~<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-~~लॉजिक और HiLog~~ पर आधारित होने का तात्पर्य है कि ~~ऑब्जेक्ट~~-ओरिएंटेड सिंटैक्स और उच्च-क्रम प्रतिनिधित्व ~~सिस्टम~~ की प्रमुख विशेषताएं हैं। फ्लोरा -2 ~~लॉजिक प्रोग्रामिंग विद डिफॉल्ट्स एंड आर्ग्यूमेंटेशन थ्योरीज~~ (एलपीडीए) नामक एक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, ~~और बहुत कुछ शामिल~~ हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref>		</ref> एवं आदान-प्रदानतर्क से ली गई है।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा -2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN\|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref> फ्लोरा-2 स्वयं अनुमान इंजन के लिए [[XSB]] पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref> प्रणाली का विवरण एवं इसका उपयोग फ्लोरा -2 उपयोगकर्ता के नियमावली वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] एवं [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] एवं [[ Mac OS X ]] के अन्य स्वाद सम्मिलित हैं।
	फ्लोरा-2 ~~अपने~~ अनुमान इंजन के लिए [[XSB]] पर निर्भर है। फ्लोरा-2 ~~के डिजाइन और~~ वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref>
	~~सिस्टम~~ का विवरण और इसका उपयोग फ्लोरा -2 उपयोगकर्ता के ~~मैनुअल में~~ वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] और [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] और [[ Mac OS X ]] के अन्य स्वाद ~~शामिल~~ हैं।

	== इतिहास ==		== इतिहास ==

	फ्लोरा-2 फ्लोरा ~~सिस्टम~~ (1998-1999) का उत्तराधिकारी है और इसमें मूल फ्लोरा ~~सिस्टम~~ के विकास और उपयोग से प्राप्त अनुभव ~~शामिल~~ है। फ्लोरा-2 परियोजना की शुरुआत वर्ष 2000 के आसपास गुइझेन यांग और माइकल किफर ने की थी। बाद के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया और इसमें कई अन्य योगदानकर्ता थे।		फ्लोरा-2 फ्लोरा प्रणाली (1998-1999) का उत्तराधिकारी है एवं इसमें मूल फ्लोरा प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना की शुरुआत वर्ष 2000 के आसपास गुइझेन यांग एवं माइकल किफर ने की थी। बाद के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।

	== फ्लोरा -2 == का उपयोग कर परियोजनाएं		== फ्लोरा -2 == का उपयोग कर परियोजनाएं

	* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ TaOPiS] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>		* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ TaOPiS] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link\|date=November 2022 \|bot=InternetArchiveBot \|fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>
	* [http://code.google.com/p/the-baze/ Baze] [[Microsoft Access]] और [[LibreOffice Base]] के समान एक डेटाबेस विकास वातावरण है।		* [http://code.google.com/p/the-baze/ Baze] [[Microsoft Access]] एवं [[LibreOffice Base]] के समान एक डेटाबेस विकास वातावरण है।
	* [https://github.com/johannesloetzsch/reasonablepy ReasonablePython] एक मॉड्यूल है जो F-Logic को Python में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>		* [https://github.com/johannesloetzsch/reasonablepy ReasonablePython] एक मॉड्यूल है जो F-Logic को Python में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>
	* [http://frdcsa.org/frdcsa FRDCSA] परियोजना पर्ल और FreeKBS3 ~~सिस्टम~~ से फ्लोरा-2 और HiLog तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।		* [http://frdcsa.org/frdcsa FRDCSA] परियोजना पर्ल एवं FreeKBS3 प्रणाली से फ्लोरा-2 एवं HiLog तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।

	==संदर्भ==		==संदर्भ==

alpha>Indicwiki: Created page with "फ्लोरा-2 ज्ञान प्रतिनिधित्व और तर्क के लिए एक खुला स्रोत सिमेंटिक..."

2023-05-15T06:25:05Z

Created page with "फ्लोरा-2 ज्ञान प्रतिनिधित्व और तर्क के लिए एक खुला स्रोत सिमेंटिक..."

New page

फ्लोरा-2 [[ज्ञान प्रतिनिधित्व और तर्क]] के लिए एक खुला स्रोत सिमेंटिक नियम-आधारित प्रणाली है।
सिस्टम की भाषा [[एफ तर्क]] से ली गई है,<ref>M. Kifer, G. Lausen, J. Wu (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 ''Foundations of Object-Oriented and Frame-Based Languages''], Journal of ACM, May 1995.</ref> हाईलोग,<ref name="hilog-jlp">
W. Chen, M. Kifer and D.S. Warren (1993), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7860 ''HiLog: A Foundation for Higher-Order Logic Programming'']. Journal of Logic Programming, 1993.
</ref> और लेनदेन तर्क।<ref name="tr-iclp1993">A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.</ref> F-लॉजिक और HiLog पर आधारित होने का तात्पर्य है कि ऑब्जेक्ट-ओरिएंटेड सिंटैक्स और उच्च-क्रम प्रतिनिधित्व सिस्टम की प्रमुख विशेषताएं हैं। फ्लोरा -2 लॉजिक प्रोग्रामिंग विद डिफॉल्ट्स एंड आर्ग्यूमेंटेशन थ्योरीज (एलपीडीए) नामक एक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।<ref>H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.9271 ''Logic Programming with Defaults and Argumentation Theories'']. 25th International Conference on Logic Programming (ICLP 2009), July 2009.</ref> अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, और बहुत कुछ शामिल हैं।<ref>H. Chen, T. Finin, and A. Joshi (2003). [https://dx.doi.org/DOI:10.1017/S0269888904000025 ''An ontology for context-aware pervasive computing environments''], The Knowledge Engineering Review 18:3, Cambridge University Press.</ref><ref>Y. Zou, T. Finin, H. Chen (2005). [https://dx.doi.org/10.1007/978-3-540-30960-4_16 ''F-OWL: An Inference Engine for Semantic Web''], Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.</ref><ref>A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1505147 ''A knowledge-based approach to behavior decision in intelligent vehicles''], Intelligent Vehicles Symposium, IEEE, pp. 466-471.</ref><ref>M. Malekovic and M. Schatten (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/48 ''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'']{{Dead link|date=November 2022 |bot=InternetArchiveBot |fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>T. Orehovacki, M. Schatten, A. Lovrencic (2011) [http://bib.irb.hr/prikazi-rad?&rad=508877&lang=en ''Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases''], Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 ({{ISBN|978-953-7138-20-2}}).</ref><ref>M. Schatten (2013) [http://bib.irb.hr/prikazi-rad?&rad=602756&lang=en ''Knowledge Management in Semantic Social Networks''], Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568</ref>
फ्लोरा-2 अपने अनुमान इंजन के लिए [[XSB]] पर निर्भर है। फ्लोरा-2 के डिजाइन और वास्तुकला का वर्णन कई कार्यों में किया गया है।<ref>G. Yang and M. Kifer (2000), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304 ''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'']. Intl. Conference on Computational Logic, July 2000.</ref><ref>G. Yang, Michael Kifer, and C. Zhao (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.7283 ''FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web'']. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.</ref><ref>M. Kifer (2005), [https://link.springer.com/chapter/10.1007%2F11546207_1 ''Nonmonotonic reasoning in Flora-2'']. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.</ref><ref>G. Yang and M. Kifer (2003), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6516 ''Reasoning about Anonymous Resources and Meta Statements on the Semantic Web'']. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.</ref>
सिस्टम का विवरण और इसका उपयोग फ्लोरा -2 उपयोगकर्ता के मैनुअल में वर्णित है।<ref>M. Kifer, G. Yang, H. Wan, C. Zhao (2013),[http://flora.sourceforge.net/documentation.html ''Flora-2 User's Manual'']</ref> फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें [[लिनक्स]] और [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] और [[ Mac OS X ]] के अन्य स्वाद शामिल हैं।

== इतिहास ==

फ्लोरा-2 फ्लोरा सिस्टम (1998-1999) का उत्तराधिकारी है और इसमें मूल फ्लोरा सिस्टम के विकास और उपयोग से प्राप्त अनुभव शामिल है। फ्लोरा-2 परियोजना की शुरुआत वर्ष 2000 के आसपास गुइझेन यांग और माइकल किफर ने की थी। बाद के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया और इसमें कई अन्य योगदानकर्ता थे।

== फ्लोरा -2 == का उपयोग कर परियोजनाएं

* [https://archive.today/20130108094001/http://autopoiesis.foi.hr/ TaOPiS] स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।<ref>M. Schatten, M. Cubrilo, J.Seva (2008) [http://www.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/10 ''A Semantic Wiki System Based on F-Logic'']{{Dead link|date=November 2022 |bot=InternetArchiveBot |fix-attempted=yes }}, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.</ref><ref>M. Schatten, M. Cubrilo, J.Seva (2009) [http://bib.irb.hr/prikazi-rad?&rad=427667&lang=en ''Dynamic Queries in Semantic Wiki Systems''], Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.</ref><ref>M. Schatten, V. Kakulapati, M. Cubrilo (2010) [http://bib.irb.hr/prikazi-rad?&rad=482803&lang=en ''Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic''], Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.</ref>
* [http://code.google.com/p/the-baze/ Baze] [[Microsoft Access]] और [[LibreOffice Base]] के समान एक डेटाबेस विकास वातावरण है।
* [https://github.com/johannesloetzsch/reasonablepy ReasonablePython] एक मॉड्यूल है जो F-Logic को Python में जोड़ता है।<ref>M. Schatten (2007) [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4283715&tag=1 ''Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language''], Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.</ref>
* [http://frdcsa.org/frdcsa FRDCSA] परियोजना पर्ल और FreeKBS3 सिस्टम से फ्लोरा-2 और HiLog तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।

==संदर्भ==
{{reflist}}

==बाहरी संबंध==
*[http://flora.sourceforge.net ''Flora-2 Web site''].
[[Category: तर्क प्रोग्रामिंग भाषाएँ]]

[[Category: Machine Translated Page]]
[[Category:Created On 15/05/2023]]