بلاگ

هستان نگار فوقانی برهان

هستان‌نگار فوقانی، نوعی هستان‌نگار است که در آن موجودات مشترک در تمامی دامنه‌ها و نیز روابط بین آنان توصیف می‌شود و اغلب به بیان مفاهیم کلی، انتزاعی و فلسفی محدود می‌شود. این هستان‌نگار در بی نیاز کردن از توصیف‌های تکراری نسبت به مفاهیم کلی موجود در هستان‌نگارهای دامنه و خاص منظوره کاربرد دارد. بنابراین کلاس‌های موجود در هستان‌نگار فوقانی، سوپر کلاس‌هایی برای کلاس‌های هستان‌نگارهای دامنه هستند و همچنین رابطه‌های موجود در آن، به عنوان رابطه‌های فوقانی برای رابطه‌های هستان‌نگارهای دامنه استفاده می‌شوند. در سال‌های اخیر هستان‌نگارهای فوقانی مختلفی معرفی شده است. از جمله آن‌ها می‌توان از هستان‌نگارهای DOLCE، SUMO، BFO و GFO نام برد. ما نیز در تیم برهان، یک هستان‌نگار فوقانی طراحی کردیم. هستان‌نگار فوقانی برهان از نظر ساختاری شباهت‌هایی به هستان‌نگار DOLCE دارد ولی با این وجود با ساختار مقولات عشر در فلسفه سازگار بوده و بستری برای توصیف بایدها و نبایدها و گزاره‌های فسخ پذیر ایجاد می‌کند.