عن المشروع

يوفر Malleus إطارًا لإدارة التغييرات الدلالية في مخططات المعرفة مع التركيز على المصدرية، والقطعية، والتحقق الصارم. ويضمن أن كل سجل في المخطط يمكن تتبعه حتى البايتات المصدرية، وإصدار الأنطولوجيا، وعملية اتخاذ القرار التي أدمجته. تشمل القدرات الرئيسية ما يلي: - **التحقق القائم على الأنطولوجيا**: يستخدم LinkML لتعريف المفردات والأشكال المسموح بها، ويرفض الكتابات غير الصالحة هيكليًا في وقت التشغيل. - **التوافق القطعي**: ينفذ تجزئة المحتوى ووضع بصمات للأنطولوجيات، مما يسمح للأقران بالتحقق من توافق المخطط دون تبادل الملفات الكاملة. - **التحقق من المنطق المثبت**: يتكامل مع SWI-Prolog لتقييم المرشحين مقابل مجموعات القواعد المثبتة، ويضمن استيفاء القيود المنطقية قبل التمثيل المادي. - **التحكم المعرفي**: يفصل المقترحات، وتقييمات المراقبة، والقرارات النهائية إلى سجلات مُعنونة بالمحتوى لمنع اختيار السياسات بعد وقوعها. - **إعادة التشغيل ثنائي الزمن**: يدعم نظام إسقاط مدعوم بالدفتر الذي يمكنه إعادة بناء حالة المخطط اعتبارًا من أوقات المعاملة والصلاحية المحددة، مع التعامل مع الاستبدالات والتغييرات الرجعية. - **ملف تعريف المخطط المكتوب**: يتضمن مجموعة افتراضية من العناصر الأولية (Entity, Event, Signal, Agent, Relation) والمزيجات (Identifiable, Temporal, Describable, Statusable) لتوحيد نمذجة النطاق.