Java KnowledgeBase.getDifferents Examples

Example #1

File: PelletReasoner.java Project: GregAlbiston/pellet

 public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind)
     throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException,
         TimeOutException {
   refreshCheck();
   try {
     return getIndividualNodeSet(kb.getDifferents(term(ind)));
   } catch (PelletRuntimeException e) {
     throw convert(e);
   }
 }