Ontological Logic Programming (OLP)

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

本体逻辑编程,不久OLP,是一种新的结合本体论推理和逻辑编程。它使 Prolog 程序能够动态导入到本体,并跨体使用这些本体的术语。

版本历史记录

  • 版本 files 发布于 2010-06-29
    若干修复和更新
  • 版本 N/A 发布于 2010-06-29

软件信息