public Node<OWLClass> getEquivalentClasses(OWLClassExpression arg0) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getEquivalentClasses(arg0); }
@Override public Node<OWLClass> getEquivalentClasses(OWLClassExpression ce) { return delegate_.getEquivalentClasses(ce); }
@Override public synchronized Node<OWLClass> getEquivalentClasses(OWLClassExpression ce) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getEquivalentClasses(ce); }
protected Set<? extends OWLClassExpression> getEquivalentClasses(OWLClass cls) { OWLReasoner myReasoner = reasoner; // Get the equivalent classes from the reasoner if (myReasoner == null) { return Collections.emptySet(); } if (!myReasoner.isSatisfiable(cls)) { // We don't want every class in the ontology return Collections.emptySet(); } return myReasoner.getEquivalentClasses(cls).getEntities(); }
protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentClassesAxiom> result) { Set<OWLClassExpression> equivalentClasses = new HashSet<OWLClassExpression>(reasoner.getEquivalentClasses(entity).getEntities()); equivalentClasses.add(entity); if (equivalentClasses.size() > 1) { result.add(dataFactory.getOWLEquivalentClassesAxiom(equivalentClasses)); } }
protected Set<? extends OWLClassExpression> getEquivalentClasses(OWLClass cls) { OWLReasoner myReasoner = reasoner; // Get the equivalent classes from the reasoner if (myReasoner == null) { return Collections.emptySet(); } if (!myReasoner.isSatisfiable(cls)) { // We don't want every class in the ontology return Collections.emptySet(); } return myReasoner.getEquivalentClasses(cls).getEntities(); }
protected Set<? extends OWLClassExpression> getEquivalentClasses(OWLClass cls) { OWLReasoner myReasoner = reasoner; // Get the equivalent classes from the reasoner if (myReasoner == null) { return Collections.emptySet(); } if (!myReasoner.isSatisfiable(cls)) { // We don't want every class in the ontology return Collections.emptySet(); } return myReasoner.getEquivalentClasses(cls).getEntities(); }
protected Set<? extends OWLClassExpression> getEquivalentClasses(OWLClass cls) { // Get the equivalent classes from the reasoner if (reasoner == null) { return Collections.emptySet(); } if (!reasoner.isSatisfiable(cls)) { // We don't want every class in the ontology return Collections.emptySet(); } return reasoner.getEquivalentClasses(cls).getEntities(); }
@Override protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentClassesAxiom> result) { Set<OWLClassExpression> equivalentClasses = asUnorderedSet( reasoner.getEquivalentClasses(entity).entities(), OWLClassExpression.class); equivalentClasses.add(entity); if (equivalentClasses.size() > 1) { result.add(dataFactory.getOWLEquivalentClassesAxiom(equivalentClasses)); } }
@Override protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentClassesAxiom> result) { Set<OWLClassExpression> equivalentClasses = asUnorderedSet( reasoner.getEquivalentClasses(entity).entities(), OWLClassExpression.class); equivalentClasses.add(entity); if (equivalentClasses.size() > 1) { result.add(dataFactory.getOWLEquivalentClassesAxiom(equivalentClasses)); } }
@Override protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentClassesAxiom> result) { Set<OWLClassExpression> equivalentClasses = asUnorderedSet( reasoner.getEquivalentClasses(entity).entities(), OWLClassExpression.class); equivalentClasses.add(entity); if (equivalentClasses.size() > 1) { result.add(dataFactory.getOWLEquivalentClassesAxiom(equivalentClasses)); } }
@Override public Set<OWLClass> getEquivalents(OWLClass node) { logger.debug("getEquivalents(" + node + ")"); try{ return getReasoner().getEquivalentClasses(node).getEntitiesMinus(node); } catch (OWLReasonerRuntimeException e) { logger.error(e.getMessage(), e); } return Collections.emptySet(); }
@Override public Collection<OWLClass> getOwlClasses() { if (allClasses == null) { allClasses = new HashSet<OWLClass>(ontology.getClassesInSignature()); allClasses.removeAll(reasoner.getUnsatisfiableClasses().getEntities()); allClasses.removeAll(reasoner.getEquivalentClasses(factory.getOWLThing()).getEntities()); } return allClasses; }
public Set<OWLClass> getEquivalents(OWLClass object) { if (!getReasoner().isSatisfiable(object)) { return Collections.emptySet(); } Set<OWLClass> equivalents = getReasoner().getEquivalentClasses(object).getEntities(); equivalents.remove(object); return equivalents; }
public Set<OWLClass> getEquivalents(OWLClass object) { getReadLock().lock(); try { if (!getReasoner().isSatisfiable(object)) { return Collections.emptySet(); } Set<OWLClass> equivalents = getReasoner().getEquivalentClasses(object).getEntities(); equivalents.remove(object); return equivalents; } finally { getReadLock().unlock(); } }
AddAxiom getCompleteEquivalence(OWLClass ce) { Set<OWLClass> equivalentClasses = reasoner.getEquivalentClasses(ce).getEntities(); OWLEquivalentClassesAxiom equivalentAxiom = factory.getOWLEquivalentClassesAxiom(equivalentClasses); return new AddAxiom(ont, equivalentAxiom); }
private void populateEquivalentClasses(OWLClass c, OWLReasoner r, Model m) { for (OWLClass equiv : r.getEquivalentClasses(c).getEntities()) { log.debug("Equivalent class: " + c + ", " + equiv); m.add(toResource(c), OWL_EQUIVALENT_CLASS, toResource(equiv)); } }
public Set<OWLClass> getEquivalents(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } if (!getReasoner().isSatisfiable(object)) { return Collections.emptySet(); } return getReasoner().getEquivalentClasses(object).getEntitiesMinus(object); } finally { // getReadLock().unlock(); } }
private void addPropertyToDomainMap(OWLEntity p, OWLClassExpression mustHavePropertyValue) { Set<OWLClass> equivalents = reasoner.getEquivalentClasses(mustHavePropertyValue).getEntities(); if (!equivalents.isEmpty()) { for (OWLClass domain : equivalents) { addToDomainMap(domain, p); } } else { for (OWLClass domain : reasoner.getSuperClasses(mustHavePropertyValue, true).getFlattened()) { addToDomainMap(domain, p); } } }
private Set<OWLClass> getEquivalentClasses (OWLReasoner reasoner, OWLClass c) { Node<OWLClass> equivalentClasses = reasoner.getEquivalentClasses(c); Set<OWLClass> results; if (!c.isAnonymous()) { results = equivalentClasses.getEntities(); } else { results = equivalentClasses.getEntitiesMinus(c.asOWLClass()); } return results; }