Unique name assumption
منفرد نام کا مفروضہ کچھ آنٹولوجی زبانوں اور وضاحتی منطقوں میں بنایا گیا ایک آسان مفروضہ ہے۔ منفرد نام کے مفروضے کے ساتھ منطق میں، مختلف نام ہمیشہ دنیا کے مختلف اداروں کا حوالہ دیتے ہیں۔ یہ رے ریٹر کی بند دنیا کے مفروضے کی بحث میں شامل کیا گیا تھا جو اکثر ڈیٹا بیس مینجمنٹ سسٹمز (جیسے. ایس کیو ایل) اپنے 1984 کے مضمون میں "رشتہ دار ڈیٹا بیس تھیوری کی منطقی تعمیر نو کی طرف" (ایم ایل بروڈی، جے مائیلوپولوس، جے ڈبلیو شمٹ (ایڈیٹرز) میں، مصنوعی ذہانت میں ڈیٹا ماڈلنگ، ڈیٹا بیس اور پروگرامنگ زبانیں، سپرنگر، 1984، صفحات 191-233)۔ معیاری آنٹولوجی زبان او ڈبلیو ایل یہ مفروضہ نہیں بناتی، لیکن یہ ظاہر کرنے کے لیے واضح تعمیرات فراہم کرتی ہے کہ آیا دو نام ایک ہی یا الگ الگ ہستیوں کی نشاندہی کرتے ہیں۔ الو: وہی اے ایس او ڈبلیو ایل پراپرٹی ہے جو اس بات پر زور دیتی ہے کہ دو دیئے گئے نام یا شناخت کنندگان (مثال کے طور پر، یو آر آئی) ایک ہی فرد یا وجود کا حوالہ دیتے ہیں۔ الو: مختلف سے او ڈبلیو ایل پراپرٹی ہے جو اس بات پر زور دیتی ہے کہ دو دیئے گئے نام یا شناخت کنندگان (مثال کے طور پر، یو آر آئی) مختلف افراد یا اداروں کا حوالہ دیتے ہیں۔ بند دنیا کا مفروضہ بھی دیکھیں۔ حوالہ جات علم کی نمائندگی آنٹولوجی (انفارمیشن سائنس)