Exemplo n.º 1
0
 /** {@inheritDoc} */
 public void precomputeInferences(InferenceType... inferenceTypes)
     throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException {
   for (InferenceType inferenceType : inferenceTypes) {
     switch (inferenceType) {
       case CLASS_HIERARCHY:
         kb.classify();
       case CLASS_ASSERTIONS:
         kb.realize();
       case OBJECT_PROPERTY_HIERARCHY:
         kb.getRBox().getObjectTaxonomy();
       case DATA_PROPERTY_HIERARCHY:
         kb.getRBox().getDataTaxonomy();
       default:
         break;
     }
   }
 }
Exemplo n.º 2
0
 /** {@inheritDoc} */
 public void prepareReasoner() throws ReasonerInterruptedException, TimeOutException {
   refreshCheck();
   if (kb.isConsistent()) {
     kb.realize();
   }
 }