افزونه استدلالگر برهان
قابلیت‌های استدلالی قدرتمند را به پروتژه خود بیافزایید!
تجربه Protégé خود را با بهینه سازی آن با افزونه استدلالگر برهان افزایش دهید. این افزونه منحصر به فرد، استدلال ورزی در منطق پیش فرض و منطق پویای زمانی را ارائه می دهد. به علاوه، تبیین استدلال را در زبان طبیعی کنترل‌شده (CNL) نمایش می‌دهد. به سادگی فایل افزونه را دانلود کرده و در پوشه افزونه‌های Protégé خود قرار دهید:
نحوه کارکردن با این افزونه، در جلسات آموزشی برهان عرضه شده است.