用推断的超类替换个体的当前超类

Question

问候Ignazio Palmisano教授，

我有一个关于OWL-APIV5的问题

我添加了一个新的单独的“x”作为Thing的子类，并添加了单独的属性。

初始化reasoner和precomputeInferences（）

目标：

子问题：

2）我是否必须保存新的推断本体，然后按照断言处理它，以便检索那个类？我不喜欢这样做，因为我的兴趣只是用推断的超类替换当前的单个超类。

我试图找到如何做到这一点，我遇到了:EntitySearcher.getTypes(OWLIndividual，OWLOntology)，但是这只检索原始断言的超类，而不是推断的超类。

诚挚的问候。

Answer 1

为了用推断的类（或多个类--可能不止一个）替换断言的类，您需要执行以下操作：

• 检索推断的类型
• 删除断言的类型
• 添加推断类型

因此，称为r的owlReasoner实例，i的owlindividual，t的原始类型和t的推断类型：

OWLOntology o = ...
OWLReasoner r = ...
// This returns the node of direct types - i.e., the set of equivalent classes that are the most specific named types including i among their instances
// This will always be a Node even for a single class. If the reasoner can infer that there are equivalent classes, they all will appear in the Node
Node<OWLClass> types = r.getTypes(i, true);

// remove existing type assertions
o.removeAxioms(o.getClassAssertionAxioms(i));

// add the new ones
OWLDataFactory df = ...
Stream<OWLAxiom> axiomsToAdd = types.entities().map(T->df.getOWLClassAssertionAxiom(T, i));
o.addAxioms(OWLAPIStreamUtils.asList(axiomsToAdd));

现在o包含新的断言来代替旧的断言。根据需要保存或进一步阐述本体论。