Olog
ওলোগ তত্ত্ব হল জ্ঞান উপস্থাপনা, বৈজ্ঞানিক মডেল নির্মাণ এবং বিভাগ তত্ত্ব, ভাষাগত এবং গ্রাফিকাল সরঞ্জাম ব্যবহার করে তথ্য সংরক্ষণের জন্য একটি কঠোর গাণিতিক কাঠামো সরবরাহ করার একটি প্রচেষ্টা। 2012 সালে ডেভিড স্পিভাক এবং রবার্ট কেন্ট দ্বারা ওলোগস চালু করা হয়েছিল। ব্যুৎপত্তি "ওলগ" শব্দটি "অন্টোলজি লগ"-এর জন্য সংক্ষিপ্ত। "অন্টোলজি" গ্রিক শব্দ ειμί "be", এবং-λογία,-logia: বিজ্ঞান, অধ্যয়ন, তত্ত্ব থেকে উদ্ভূত হয়েছে। গাণিতিক আনুষ্ঠানিকতা একটি প্রদত্ত ডোমেনের জন্য একটি ওলগ হল এমন একটি বিভাগ যার বস্তুগুলি ডোমেনের সাথে প্রাসঙ্গিক বাক্যাংশ (আরও নির্দিষ্টভাবে, একক অনির্দিষ্টকালের বিশেষ্য বাক্যাংশ) সহ লেবেলযুক্ত বাক্স এবং যার অঙ্গসংস্থানগুলি বাক্সগুলির মধ্যে তীর নির্দেশিত হয়, ডোমেনের সাথে প্রাসঙ্গিক ক্রিয়া বাক্যাংশগুলির সাথে লেবেলযুক্ত। এই বিশেষ্য এবং ক্রিয়া বাক্যাংশগুলি একত্রিত হয়ে বাক্য গঠন করে যা ডোমেনের বস্তুর মধ্যে সম্পর্ক প্রকাশ করে। প্রতিটি ওলগে, বস্তুগুলি একটি লক্ষ্য বিভাগের মধ্যে থাকে। অন্যথায় নির্দিষ্ট না করা হলে, লক্ষ্য বিভাগটি সেট এবং ফাংশনের বিভাগ হিসাবে নেওয়া হয়। উপরের চিত্রের বাক্সগুলি এর বস্তুর প্রতিনিধিত্ব করে। উদাহরণস্বরূপ, "একটি অ্যামিনো অ্যাসিড" বাক্যাংশযুক্ত বাক্সটি সমস্ত অ্যামিনো অ্যাসিডের সেটকে উপস্থাপন করে এবং "একটি পার্শ্ব শৃঙ্খলা" বাক্যাংশযুক্ত বাক্সটি সমস্ত পার্শ্ব শৃঙ্খলের সেটকে উপস্থাপন করে। "আছে" লেবেলযুক্ত তীরটি "একটি অ্যামিনো অ্যাসিড" থেকে "একটি পার্শ্ব শৃঙ্খলে" নির্দেশ করে যে ফাংশনটি প্রতিটি অ্যামিনো অ্যাসিডকে তার অনন্য পার্শ্ব শৃঙ্খলে ম্যাপ করে। আরেকটি লক্ষ্য বিভাগ যা ব্যবহার করা যেতে পারে তা হল পাওয়ার সেট মোনাডের ক্লেইসলি বিভাগ। একটি দেওয়া হলে, এটি এ-এর পাওয়ার সেট। প্রাকৃতিক রূপান্তরটি সিঙ্গলটনের মানচিত্র তৈরি করে এবং প্রাকৃতিক রূপান্তরটি সেটগুলির একটি সেটকে তার সংযোগের মানচিত্র তৈরি করে। ক্লেইসলি বিভাগ হল সেই বিভাগ যেখানে বস্তুর সঙ্গে মিল রয়েছে এবং অঙ্গসংস্থানগুলি বাইনারি সম্পর্ক স্থাপন করে। একটি মরফিজম দেওয়া হয়েছে, এবং দেওয়া হয়েছে এবং, আমরা যখনই তা বলে মরফিজমকে সংজ্ঞায়িত করি। এই লক্ষ্য বিভাগের সাথে ব্যবহৃত ক্রিয়া বাক্যাংশগুলি উপসেট বস্তুর সাথে অর্থবোধ করতে হবেঃ উদাহরণস্বরূপ, "সম্পর্কিত" বা "এর চেয়ে বড়"। আরেকটি সম্ভাব্য লক্ষ্য বিভাগ হল সম্ভাব্যতা বিতরণের ক্লেইসলি বিভাগ, যাকে জিরি মানাড বলা হয়। এটি মার্কভ সিদ্ধান্ত প্রক্রিয়াগুলির একটি সাধারণীকরণ প্রদান করে। ওলগ এবং ডাটাবেস একটি ওলগকে একটি ডাটাবেস স্কিমা হিসাবেও দেখা যেতে পারে। ওলোগের প্রতিটি বাক্স (অবজেক্ট) একটি টেবিল এবং বাক্স থেকে নির্গত তীরগুলি (মরফিজম) কলাম হয়। একটি বস্তুর একটি নির্দিষ্ট দৃষ্টান্তের অ্যাসাইনমেন্ট একটি ফাংক্টরের মাধ্যমে করা হয়। উপরের উদাহরণে, "একটি অ্যামিনো অ্যাসিড" বাক্সটিকে একটি টেবিল হিসাবে উপস্থাপন করা হবে যার সারির সংখ্যা বিভিন্ন ধরনের অ্যামিনো অ্যাসিডের সংখ্যার সমান এবং যার কলামের সংখ্যা তিন, সেই বাক্স থেকে নির্গত প্রতিটি তীরের জন্য একটি কলাম। বিভিন্ন ওলোগের মধ্যে "যোগাযোগ" সম্পর্ক যা বাস্তবে বিভিন্ন মডেল বা বিশ্ব-দৃষ্টিভঙ্গির মধ্যে যোগাযোগ হতে পারে তা ফাংক্টর ব্যবহার করে করা হয়। স্পিভাক একটি 'অর্থপূর্ণ' এবং 'দৃঢ়ভাবে অর্থপূর্ণ' ফাংশনের ধারণাগুলি তৈরি করে। আসুন এবং দুটি ওলোগ, ফানক্টর (ওলোগ এবং ডেটাবেসের বিভাগটি দেখুন) এবং একটি ফানক্টর হতে দিন। একে স্কিমা ম্যাপিং বলা হয়। আমরা বলি যে a অর্থবহ যদি একটি প্রাকৃতিক রূপান্তর বিদ্যমান থাকে (J বাই F এর পুলব্যাক)। একটি উদাহরণ হিসাবে এবং দুটি ভিন্ন বৈজ্ঞানিক মডেল হিসাবে গ্রহণ করে, যদি প্রথম মডেল দ্বারা তৈরি "ভবিষ্যদ্বাণীগুলি", যা বস্তু, দ্বিতীয় মডেলে অনুবাদ করা যায় তবে ফাংক্টরটি অর্থপূর্ণ। আমরা বলি যে এটি দৃঢ়ভাবে অর্থপূর্ণ যদি আমাদের একটি বস্তু দেওয়া হয়। এই সমতা একটি প্রাকৃতিক সমরূপতা হওয়ার প্রয়োজনের সমতুল্য। কখনও কখনও থেকে থেকে একটি অর্থবহ ফাংক্টর খুঁজে পাওয়া কঠিন হবে। এই জাতীয় ক্ষেত্রে আমরা একটি নতুন ওলগকে সংজ্ঞায়িত করার চেষ্টা করতে পারি যা সাধারণ ভিত্তি উপস্থাপন করে এবং অর্থপূর্ণ কার্যকরী খুঁজে বের করে। উপরে বর্ণিত হিসাবে যদি ওলোগগুলির মধ্যে যোগাযোগ দ্বিমুখী যোগাযোগের মধ্যে সীমাবদ্ধ থাকে তবে আমরা ওলোগগুলির একটি সংগ্রহকে একটি গ্রাফের নোড হিসাবে এবং প্রান্তগুলিকে ওলোগগুলিকে সংযুক্তকারী হিসাবে ভাবতে পারি। যদি দুটির বেশি ওলোগের মধ্যে একযোগে যোগাযোগের অনুমতি দেওয়া হয় তবে গ্রাফটি একটি প্রতিসম সরল জটিল হয়ে ওঠে। ভাল অনুশীলনের নিয়মগুলি স্পিভাক একটি ওলগ লেখার জন্য ভাল অনুশীলনের কিছু নিয়ম সরবরাহ করে যার অঙ্গসংস্থানগুলির একটি কার্যকরী প্রকৃতি রয়েছে (গাণিতিক আনুষ্ঠানিকতা বিভাগের প্রথম উদাহরণটি দেখুন)। একটি বাক্সের পাঠ্যটি নিম্নলিখিত নিয়মগুলি মেনে চলতে হবেঃ "এ" বা "এ" শব্দটি দিয়ে শুরু করুন। (উদাহরণস্বরূপঃ একটি অ্যামিনো অ্যাসিড)। ওলোগের লেখকের দ্বারা তৈরি এবং স্বীকৃত একটি পার্থক্য উল্লেখ করুন। এমন একটি পার্থক্য উল্লেখ করুন যার জন্য সুনির্দিষ্ট ফাংক্টর রয়েছে যার পরিসীমা হল, অর্থাৎ। একটি উদাহরণ নথিভুক্ত করা যেতে পারে। (উদাহরণস্বরূপঃ সমস্ত অ্যামিনো অ্যাসিডের একটি সেট রয়েছে)। একটি যৌগিক কাঠামোর সমস্ত চলক ঘোষণা করুন। (উদাহরণস্বরূপঃ একটি বাক্সে "একজন পুরুষ এবং একজন মহিলা" লেখার পরিবর্তে "একজন পুরুষ এবং একজন মহিলা" বা "একটি জোড়া যেখানে একজন পুরুষ এবং একজন মহিলা" লিখুন)। প্রথম তিনটি নিয়ম নিশ্চিত করে যে ওলোগের লেখক দ্বারা সংজ্ঞায়িত বস্তুগুলি (বাক্সগুলি) সু-সংজ্ঞায়িত সেট। চতুর্থ নিয়মটি একটি ওলগে তীরের লেবেলিং উন্নত করে। অ্যাপ্লিকেশন এই ধারণাটি মাকড়সার রেশম এবং বাদ্যযন্ত্র রচনার মধ্যে একটি বৈজ্ঞানিক উপমা প্রতিষ্ঠার জন্য ডেভিড স্পিভাক এবং অন্যান্যদের দ্বারা বায়ো ন্যানো সায়েন্সের ডিসেম্বর 2011 সংখ্যায় প্রকাশিত একটি গবেষণাপত্রে ব্যবহৃত হয়েছিল। আরও দেখুন হাইপারগ্রাফ মডেলিং ল্যাঙ্গুয়েজ অন্টোলজি ল্যাঙ্গুয়েজ অপারেড থিওরি অর্গোলজি ইউনিভার্সাল বীজগণিত ইউনিভার্সাল লজিক রেফারেন্স এক্সটার্নাল লিঙ্কস ম্যাথমেটিকাল কনসেপ্ট অন্টোলজি (তথ্য বিজ্ঞান)