协同本体构建与Prolog

Question

什么样的技术适合创建一个允许用户添加事实、编辑事实和查询这些信息的网页？我已经在Prolog中建立了一个知识库和推理规则，但是我希望在网上能够访问事实部分和查询。更具体地说，我正在寻找以下功能：

• 一个网络界面，终端用户可以添加和编辑事实，例如“吸烟导致癌症的概率为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和Pengines，但我不确定它们是否是成熟的本体编辑器，或者它们是否可以与现有的本体编辑器交互。

我还一直在研究普莱格、OWL和SWRL规则，但我不确定这些规则是否像Prolog那样强大，或者它们可以以何种方式与Prolog进行接口。

任何帮助都将不胜感激！谢谢。

/JCR

Answer 1

关于这个这里的更多信息。