开发者 deductions.sf.net

人工智能技术应用于常见的软件任务，使用一阶逻辑;N3， OWL 的词源和规则。支持基于组件的应用程序构建、平台独立性、用户友好性。利用欧拉推理引擎 + GUI。