@Override public boolean equals(Object obj) { if(obj == this) { return true; } if(!(obj instanceof Node)) { return false; } Node other = (Node) obj; return entities.equals(other.getEntities()); }
public Set<E> getFlattened() { Set<E> result = new HashSet<E>(); for(Node<E> node : nodes) { result.addAll(node.getEntities()); } return result; }
public void removeNode(T containing) { Node<T> node = map.remove(containing); if (node != null) { for (T object : node.getEntities()) { map.remove(object); } } } }
public void removeNode(T containing) { Node<T> node = map.remove(containing); if (node != null) { for (T object : node.getEntities()) { map.remove(object); } } } }
public void removeNode(T containing) { Node<T> node = map.remove(containing); if (node != null) { for (T object : node.getEntities()) { map.remove(object); } } } }
public Set<E> getFlattened() { Set<E> result = new HashSet<E>(); for (Node<E> node : nodes) { result.addAll(node.getEntities()); } return result; }
private NodeSet<OWLNamedIndividual> getIndividualNodeSetBySameAs( Collection<OWLNamedIndividual> individuals ) { Set<Node<OWLNamedIndividual>> instances = new HashSet<Node<OWLNamedIndividual>>(); Set<OWLNamedIndividual> seen = new HashSet<OWLNamedIndividual>(); for( OWLNamedIndividual ind : individuals ) { if( !seen.contains( ind ) ) { Node<OWLNamedIndividual> equiv = reasoner.getSameIndividuals( ind ); instances.add( equiv ); seen.addAll( equiv.getEntities() ); } } return new OWLNamedIndividualNodeSet( instances ); }
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)); } }
public Set<OWLObjectProperty> getEquivalents(OWLObjectProperty objectProperty) { Set<OWLObjectPropertyExpression> equivs = getReasoner().getEquivalentObjectProperties(objectProperty).getEntities(); equivs.remove(objectProperty); Set<OWLObjectProperty> ret = new HashSet<OWLObjectProperty>(); for (OWLObjectPropertyExpression p : equivs) { if (p instanceof OWLObjectProperty) { ret.add((OWLObjectProperty) p); } } return ret; } }
public Set<OWLObjectProperty> getEquivalents(OWLObjectProperty objectProperty) { Set<OWLObjectPropertyExpression> equivs = getReasoner().getEquivalentObjectProperties(objectProperty).getEntities(); equivs.remove(objectProperty); Set<OWLObjectProperty> ret = new HashSet<OWLObjectProperty>(); for (OWLObjectPropertyExpression p : equivs) { if (p instanceof OWLObjectProperty) { ret.add((OWLObjectProperty) p); } } return ret; } }
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentObjectPropertiesAxiom> result) { Set<OWLObjectProperty> equivProps = new HashSet<OWLObjectProperty>(reasoner.getEquivalentObjectProperties(entity).getEntities()); equivProps.add(entity); result.add(dataFactory.getOWLEquivalentObjectPropertiesAxiom(equivProps)); }
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = new HashSet<OWLDataProperty>(reasoner.getEquivalentDataProperties(entity).getEntities()); props.add(entity); result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); }
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(); }
@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; }
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(); }
public void addNode(Node<T> node) { for (T element : node.getEntities()) { map.put(element, node); if (element.isTopEntity()) { topNode = node; } else if (element.isBottomEntity()) { bottomNode = node; } } }
public void addNode(Node<T> node) { for (T element : node.getEntities()) { map.put(element, node); if (element.isTopEntity()) { topNode = node; } else if (element.isBottomEntity()) { bottomNode = node; } } }
public void addNode(Node<T> node) { for (T element : node.getEntities()) { map.put(element, node); if (element.isTopEntity()) { topNode = node; } else if (element.isBottomEntity()) { bottomNode = node; } } }
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; }