开发者 olp-api.sf.net

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