Ontology language
کمپیوٹر سائنس اور مصنوعی ذہانت میں، آنٹولوجی زبانیں رسمی زبانیں ہیں جو آنٹولوجیز کی تعمیر کے لیے استعمال ہوتی ہیں۔ وہ مخصوص ڈومینز کے بارے میں علم کی انکوڈنگ کی اجازت دیتے ہیں اور اکثر استدلال کے قواعد شامل کرتے ہیں جو اس علم کی پروسیسنگ کی حمایت کرتے ہیں۔ آنٹولوجی زبانیں عام طور پر اعلانیہ زبانیں ہوتی ہیں، تقریبا ہمیشہ فریم زبانوں کی عمومی شکلیں ہوتی ہیں، اور عام طور پر فرسٹ آرڈر منطق یا وضاحتی منطق پر مبنی ہوتی ہیں۔ آنٹولوجی زبانوں کی درجہ بندی نحو کے لحاظ سے روایتی نحو آنٹولوجی زبانیں عام منطق-اور اس کی بولیاں سائکل ڈوگما (آنٹولوجی کے گول طریقے اور ایپلی کیشنز تیار کرنا) ایف-لاجک (فریم لاجک) ایف او ڈاٹ (فرسٹ آرڈر منطق کو اقسام، ریاضی، مجموعوں اور تعریفی تعریفوں کے ساتھ بڑھایا گیا ہے) کے آئی ایف (نالج انٹرچینج فارمیٹ) آنٹولنگوا جو کے آئی ایف کے ایل-ون کے ایم پروگرامنگ زبان لوم (آنٹولوجی) او سی ایم ایل (آپریشنل کانسیپچوئل ماڈلنگ لینگویج) او کے بی سی (اوپن نالج بیس کنیکٹوٹی) پی ایل آئی بی (پارٹس لائبری) ریسر مارک اپ آنٹولوجی زبانیں یہ زبانیں ہیں۔ ڈی اے ایم ایل + آئل آنٹولوجی انفریشن لیئر (او آئی ایل) ویب آنٹولوجی لینگویج (او ڈبلیو ایل) ریسورس ڈسکرپشن فریم ورک (آر ڈی ایف) آر ڈی ایف اسکیما (آر ڈی ایف ایس) ایس ایچ او ای کنٹرولڈ نیچرل لینگویجز ایٹیمپٹو کنٹرولڈ انگلش اوپن ووکیبلری نیچرل لینگویجز ایگزیکٹو ایبل انگلش کلاسفیکیشن بائی اسٹرکچر (منطق ٹائپ) فریم پر مبنی تین زبانیں مکمل یا جزوی طور پر فریم پر مبنی زبانیں ہیں۔ ایف-لاجک اوکے بی سی کے ایم تفصیل منطق پر مبنی تفصیل منطق فریم زبانوں کی توسیع فراہم کرتی ہے، یہاں تک کہ فرسٹ آرڈر منطق پر چھلانگ لگانے اور من مانی پیش گوئیوں کی حمایت کرنے کے بغیر۔ کے ایل-ون ریسر مالک۔ گیلیش ایک مشترکہ آنٹولوجی زبان اور آنٹولوجی کی ایک مثال ہے جو وضاحتی منطق پر مبنی ہے۔ یہ دوسروں کے درمیان بامعنی اختلافات کے درمیان فرق کرتا ہے: تصورات (طبقات) کے درمیان تعلقات کے لیے تعلقات کی اقسام افراد اور طبقات کے درمیان تعلقات کے لیے افراد کے درمیان تعلقات کی اقسام اس میں سوالات اور مواصلاتی ارادے کے اظہار کے لیے تعمیرات بھی شامل ہیں۔ فرسٹ آرڈر منطق پر مبنی کئی آنٹولوجی زبانیں فرسٹ آرڈر منطق میں تاثرات کی حمایت کرتی ہیں اور عمومی پیش گوئیوں کی اجازت دیتی ہیں۔ کامن لاجک سائکل ایف او ڈاٹ (فرسٹ آرڈر منطق کو اقسام، ریاضی، مجموعوں اور تعریفی تعریفوں کے ساتھ بڑھایا گیا ہے) کے آئی ایف ڈومین تھیوری بھی دیکھیں رسمی تصور تجزیہ گالوئس کنکشن لیٹیس (ترتیب) ماڈلنگ زبان آنٹو یو ایم ایل نوٹ حوالہ جات آسکر کورچو، اسونسیون گومز-پیریز، آنٹولوجی کی تفصیلات کے لیے ایک روڈ میپ زبانیں (2000) تفصیل منطق کا تعارف-ڈی ایل کورس بذریعہ اینریکو فرانکونی، فیکلٹی آف کمپیوٹر سائنس، فری یونیورسٹی آف بولزانو، اٹلی ماڈلنگ زبانیں