只是

Just:一个计算正当性的工具w.r.t.ELH本体论。我们介绍了一个工具,只用于计算一般概念包含的正当性。在描述逻辑EL中,用角色包含扩展了本体。Just中的正当性计算是基于结果的演算,在所有可能的推理下对输入公理进行饱和。我们对所实现的技术进行了概述,并在最后对Just-when应用于几个实际本体的性能进行了实验评估

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换