منصوبے کے بارے میں

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