/** * @param entities entity set where entities will be added * @return the modified input entities */ default Set<OWLEntity> addSignatureEntitiesToSet(Set<OWLEntity> entities) { accept(new OWLEntityCollector(entities)); return entities; }
@Override protected Set<OWLProperty> doOperation() { OWLEntityCollector collector = new OWLEntityCollector(); collector.setCollectClasses(false); collector.setCollectDataProperties(true); collector.setCollectDatatypes(false); collector.setCollectIndividuals(false); collector.setCollectObjectProperties(true); collector.visit((OWLClass) query); collector.visit((OWLDataAllValuesFrom) query); collector.visit((OWLDataExactCardinality) query); collector.visit((OWLDataMaxCardinality) query); collector.visit((OWLDataMinCardinality) query); collector.visit((OWLDataSomeValuesFrom) query); collector.visit((OWLDataHasValue) query); collector.visit((OWLObjectAllValuesFrom) query); collector.visit((OWLObjectComplementOf) query); collector.visit((OWLObjectExactCardinality) query); collector.visit((OWLObjectIntersectionOf) query);
public void visit(OWLEquivalentDataPropertiesAxiom axiom) { for (OWLDataPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } processAxiomAnnotations(axiom); }
public HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator) { this.singleExplanationGenerator = singleExplanationGenerator; collector = new OWLEntityCollector(); collector.setCollectDatatypes(false); }
public Set<OWLEntity> getReferencedEntities() { OWLEntityCollector collector = new OWLEntityCollector(); this.accept(collector); return collector.getObjects(); }
private Set<OWLEntity> getEntities(OWLObject obj) { entityCollector.reset(); obj.accept(entityCollector); return entityCollector.getObjects(); }
private void handleAxiomAdded(OWLAxiom axiom) { entityCollector.reset(); axiom.accept(entityCollector); for (OWLEntity object : entityCollector.getObjects()) { referenceAdder.setAxiom(axiom); object.accept(referenceAdder); } for(OWLAnonymousIndividual ind : entityCollector.getAnonymousIndividuals()) { addToIndexedSet(ind, owlAnonymousIndividualReferences, axiom); } if(axiom.isAnnotated()) { addToIndexedSet(axiom.getAxiomWithoutAnnotations(), logicalAxiom2AnnotatedAxiomMap, axiom); } }
/** * A convenience method that obtains the entities which are * referenced in the axiom contained within this change. * @return A <code>Set</code> of entities which are referenced * by the axiom contained within this change. */ public Set<OWLEntity> getEntities() { OWLEntityCollector collector = new OWLEntityCollector(); axiom.accept(collector); return collector.getObjects(); } }
/** * Given a set of OWL-API axiom, return its signature. */ public static Set<OWLEntity> getSignature(OWLAxiom axiom) { Set<OWLEntity> entities = new HashSet<OWLEntity>(); OWLEntityCollector collector = new OWLEntityCollector(entities); collector.setCollectDatatypes( false ); axiom.accept(collector); return entities; }
private void handleAxiomRemoved(OWLAxiom axiom) { entityCollector.reset(); axiom.accept(entityCollector); for (OWLEntity object : entityCollector.getObjects()) { referenceRemover.setAxiom(axiom); object.accept(referenceRemover); } for(OWLAnonymousIndividual ind : entityCollector.getAnonymousIndividuals()) { removeAxiomFromSet(ind, owlAnonymousIndividualReferences, axiom, true); } if(axiom.isAnnotated()) { removeAxiomFromSet(axiom.getAxiomWithoutAnnotations(), logicalAxiom2AnnotatedAxiomMap, axiom, true); } }
/** * Returns the entities referenced in an axiom. * * @param axiom axiom whose signature is being computed * @return the entities referenced in the axiom */ private Set<OWLEntity> getSignature(OWLAxiom axiom) { collector.reset(); axiom.accept(collector); return new HashSet<OWLEntity>(collector.getObjects()); }
/** * Returns the entities referenced in an axiom. * * @param axiom axiom whose signature is being computed * @return the entities referenced in the axiom */ private static Set<OWLEntity> getSignature(OWLAxiom axiom) { Set<OWLEntity> toReturn = new HashSet<>(); OWLEntityCollector collector = new OWLEntityCollector(toReturn); axiom.accept(collector); return toReturn; }
public Set<OWLEntity> getSignature() { if (signature == null) { Set<OWLEntity> sig = new HashSet<OWLEntity>(); OWLEntityCollector collector = new OWLEntityCollector(); accept(collector); sig.addAll(collector.getObjects()); signature = new HashSet<OWLEntity>(sig); } return Collections.unmodifiableSet(signature); }
@Override protected Set<OWLClass> doOperation() { OWLEntityCollector collector = new OWLEntityCollector(); collector.setCollectClasses(true); collector.setCollectDataProperties(false); collector.setCollectDatatypes(false); collector.setCollectIndividuals(false); collector.setCollectObjectProperties(false); collector.visit((OWLClass) query); collector.visit((OWLDataAllValuesFrom) query); collector.visit((OWLDataExactCardinality) query); collector.visit((OWLDataMaxCardinality) query); collector.visit((OWLDataMinCardinality) query); collector.visit((OWLDataSomeValuesFrom) query); collector.visit((OWLDataHasValue) query); collector.visit((OWLObjectAllValuesFrom) query); collector.visit((OWLObjectComplementOf) query); collector.visit((OWLObjectExactCardinality) query); collector.visit((OWLObjectIntersectionOf) query);
@Override public void visit(OWLDisjointClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } processAxiomAnnotations(axiom); }
/** * @param entities entity set where entities will be added * @return the modified input entities */ default Set<OWLEntity> addSignatureEntitiesToSet(Set<OWLEntity> entities) { accept(new OWLEntityCollector(entities)); return entities; }
private void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { OWLEntityCollector collector = new OWLEntityCollector(); rhs.accept(collector); getIndexedSet(axiom, entitiesByAxiomRHS, true).addAll(collector.getObjects()); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { for (OWLDataPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } processAxiomAnnotations(axiom); }
public UnmatchedSourceAxiomImpl(OWLAxiom axiom) { this.axiom = axiom; referencedUnmatchedEntities = new HashSet<OWLEntity>(); referencedUnmatchedAnonymousIndividuals = new HashSet<OWLAnonymousIndividual>(); OWLEntityCollector collector = new OWLEntityCollector(referencedUnmatchedEntities, referencedUnmatchedAnonymousIndividuals); axiom.accept(collector); }
private void buildChildren(OWLClassExpression seed) { // Return the axioms that have the entity on the LHS OWLEntityCollector collector = new OWLEntityCollector(); seed.accept(collector); Set<OWLAxiom> result = new HashSet<OWLAxiom>(); for (OWLEntity ent : collector.getObjects()) { Set<OWLAxiom> axs = getAxiomsByLHS(ent); for (OWLAxiom ax : axs) { result.add(ax); usedAxioms.add(ax); } } rootAxioms.addAll(result); buildChildren(result); }