برهان (برهان رایانشی هوشمند آموزه‌های نور) مجموعه‌ای پژوهشی-صنعتی است که در حوزه وب‌معنایی و هستی‌شناسی فعالیت می‌کند. تیم برهان از گروهی با تخصص‌های گوناگون تشکیل شده است که هر یک در علوم منطق، فلسفه، وب‌معنایی و programación و همچنین حوزه‌های مختلف علوم انسانی تجربه دارند و در مجموع توانمندی تیم را تقویت کرده‌اند. ایده اولیه که بعدها شکل‌گیری این مجموعه را به وجود آورد، در سال ۱۳۹۹ با هدف گسترش نرم‌افزاری استدلالگرها برای پشتیبانی از سیستم‌های منطقی گوناگون مطرح شد. استدلالگرهای موجود در فناوری وب‌معنایی عمدتاً به منطق‌توصیفی وابسته‌اند، در حالی که توسعه وب معنایی به سمت حوزه‌های متعدد دانش نیازمند پشتیبانی از منطق‌های متنوع است. تیم اولیه ما پس از مدتی پژوهش و مطالعه، با روی آوردن به بازنمایی دانش در حوزه‌های اطلاعاتی گوناگون، فرایند جدی تولید استدلالگر را از سال ۱۴۰۱ آغاز کرد و به این ترتیب استدلالگری که از منطق تکلیف و منطق پیشفرض پشتیبانی می‌کند را به طور آزمایشی ایجاد کرد. از آنجا که توسعه استدلالگر و پشتیبانی از سیستم‌های منطقی، مستلزم ایجاد هستان‌نگارهای متناسب با آن است، برهان در نقشه‌راه خود طراحی این هستان‌نگارها را گنجاند و از سال ۱۴۰۱ با پژوهش و انتشار نسخه اولیه این ابزارها، کار را ادامه داد. در این مسیر، هستان‌نگار فوقانی (Upper Ontology) و هسته‌های زمان، تکلیف و… (Core) طراحی شده و اصول موضوعی مربوط به آن‌ها نگارش یافته و همچنان در دست توسعه هستند.