Получить Inferred Объектого Утверждения собственности Отшельник Reasoner

Question

Говорит, что у меня есть некоторые онтологии, созданные в Protege и есть экземпляр класса с некоторым свойством объекта, а также список свойств объекта, показал в следующих изображениях:

иерархия свойств объекта выглядит следующим образом:

Теперь, когда я включаю рассуждающий на (отшельник), я получаю следующее Assert объект пр operties для этого же лица:

Когда я нажимаю в пояснениях для предполагаемого объекта недвижимости «dependsUp» клиента, я получаю:

Мой вопрос, как я могу генерировать это использование Java? Я уже могу получить выведенные свойства объекта для некоторого индивида со следующими (неполный здесь abreviety, но он работает, как я проверил):

for (OWLNamedIndividual namedIndividual : this.ontology.getIndividualsInSignature()) { 
      if (subjectName.equals(namedIndividual.getIRI().getFragment())) { 
       OWLObjectProperty objectProperty = fac.getOWLObjectProperty(IRI.create(propertyIRI)); 
       NodeSet<OWLNamedIndividual> namedIndividualSet = reasoner.getObjectPropertyValues(namedIndividual ,objectProperty); 

       for (Node<OWLNamedIndividual> namedIndividualsInObjectPropertySet : namedIndividualSet) { 
        for (OWLNamedIndividual namedIndividualForObjectPropertySet : namedIndividualsInObjectPropertySet) { 
         for (OWLClassExpression owlClass : namedIndividualForObjectPropertySet.getTypes(this.ontology)){ 
          if (owlClass.toString().split("#")[1].replace(">", "").equals(archiClass)) { 
           result.add(OWLOntologyUtils.getHumanInstanceName(this.ontology, namedIndividualForObjectPropertySet.getIRI().getFragment())); 
// Result contains all the inferred object properties shown in the above pictures, so this code works. How can I access the explanation for one of the inferred object properties by the reasoner here? 
          } 
         } 
        } 
       } 

      } 
     } 

Answer 1

Вы можете использовать InferredObjectPropertyAxiomGenerator:

InferredObjectPropertyAxiomGenerator generator = new InferredObjectPropertyAxiomGenerator(); 
generator.createAxioms(owldatafactory, reasoner);