为什么Protege中可视化的推理与导出的推理公理不同

Question

null

我使用的是Protege 5.0.0、Reasoner Hermit 1.3.8和OWL API 5.0.5（尽管不同的Reasoner获得了相同的结果:Fact++、Pellet；以及不同的OWL API和Protege版本:4.x)

我会很高兴有任何评论，即使是一个简单的解释也会对我有很大帮助。

Answer 1

导出的公理取决于所使用的推断公理生成器的集合-Protege可能使用了与您选择的不同的集合。

所述发电机组可配置在面板中；它的初始化如下所示：

    addCheckBox(new InferredSubClassAxiomGenerator(), true, false);
    addCheckBox(new InferredEquivalentClassAxiomGenerator(), true, false);
    addCheckBox(new InferredSubObjectPropertyAxiomGenerator(), true, false);
    addCheckBox(new InferredSubDataPropertyAxiomGenerator(), true, false);
    addCheckBox(new InferredEquivalentObjectPropertyAxiomGenerator(), true, false);
    addCheckBox(new InferredEquivalentDataPropertiesAxiomGenerator(), true, false);
    addCheckBox(new InferredObjectPropertyCharacteristicAxiomGenerator(), false, false);
    addCheckBox(new InferredDataPropertyCharacteristicAxiomGenerator(), false, false);
    addCheckBox(new InferredInverseObjectPropertiesAxiomGenerator(), false, false);
    addCheckBox(new InferredClassAssertionAxiomGenerator(), false, false);
    addCheckBox(new InferredPropertyAssertionGenerator(), false, true);
    addCheckBox(new InferredDisjointClassesAxiomGenerator(), false, true);

我猜默认情况下选择的是标记为true的。