prolog - 协同本体构建与Prolog

Question

什么技术适合创建允许用户添加事实、编辑事实和查询此信息的网页？我一直在 Prolog 中构建知识库和推理规则，但我想让事实部分和查询在 Web 上可访问。更具体地说，我正在寻找以下功能:

• 一个网络界面，最终用户可以在其中添加和编辑事实，例如“吸烟导致癌症的概率为 0.02”。这最好是可以访问的东西，而不涉及编写 Prolog 或其他代码(例如，从三个列表中选择主题、关系和对象)。在这里，如果有一些功能可以查看知识库中是否已经存在某些概念(例如，如果用户要输入有关癌症的事实并且概念癌症已经存在于知识库中，则应该显示，最好还有相关概念)。也许一些下拉菜单或列表可以实现这一点。
• 管理用户个人资料、密码、权限等的功能。
• 一个网络界面，最终用户可以在其中查询事实部分，例如“什么是癌症的原因？”。计算查询答案的规则不会是最终用户编辑的东西(我想这样做)。他们只是以易于理解的格式查看结果。
• 一种类似于 Prolog 或与 Prolog 一样强大的语言，我(而不是最终用户)可以使用它来创建推理规则(生成对用户查询的答案)。
• 如果可能，最终用户可以通过某种方式获得知识库的图形表示。

关于 Prolog 程序我的意思的总结:

%This kind of thing should be entered by end users in a friendly interface (i.e. not code like here).    
causes(smoking, cancer, prob(0.05)).
causes(cancer, death, prob(0.1)).

%This kind  of thing should be entered by me (and not end users)
inferCauses(C, E, prob(P)):-
    causes(C, E, prob(P)).
inferCauses(C, E, prob(P)):-
    causes(C, I, prob(P1)),
    causes(I, E, prob(P2)),
    P is P1 * P2.

%This should be entered by end users, again in a friendly interface
?-whyCancer?

我知道优SWISH and Pengines但我不确定这些是否是成熟的本体编辑器，或者它们是否可以与现有的本体编辑器接口(interface)。

我也一直在看Protegé 、OWL 和 SWRL 规则，但我不确定它们是否与 Prolog 一样强大，或者它们可以以何种方式与 Prolog 交互。

任何帮助将不胜感激!谢谢。

/JCR

Answer 1

有关此的更多信息 here .