text: كتطلب المشاريع البحثية اللي باغين تبني قاعدة معرفية كاملة خاصة بالمعرفة المنطقية (بحال مشروع دوغ لينات المسمى بـسيكي) مقدار كبير من عمليات هندسة علم الوجود المرهقة—خاص تبنى يدويا باستعمال واحد من المفاهيم الصعيبة في كل مرة.