org.semanticweb.owlapitools.decomposition.OntologyAtom Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of owlapi-distribution Show documentation
The newest version!
package org.semanticweb.owlapitools.decomposition;

import java.util.ArrayList;
import java.util.Collection;
import java.util.Comparator;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import javax.annotation.Nullable;

/**
 * An ontology atom including module and dependencies information.
 */
public class OntologyAtom {

    static Comparator comparator = (arg0, arg1) -> arg0.getId() - arg1.getId();
    /**
     * set of axioms in the atom
     */
    private final List axioms = new ArrayList<>();
    /**
     * set of axioms in the module (Atom's ideal)
     */
    private List module = new ArrayList<>();
    /**
     * set of atoms current one depends on
     */
    private final Set dependencies = new HashSet<>();
    /**
     * set of all atoms current one depends on
     */
    private final Set allDependencies = new HashSet<>();
    /**
     * unique atom's identifier
     */
    private int id = 0;

    /**
     * remove all atoms in AllDepAtoms from DepAtoms
     */
    public void filterDep() {
        dependencies.removeAll(allDependencies);
    }

    /**
     * build all dep atoms; filter them from DepAtoms
     *
     * @param checked sets of atoms to check
     */
    public void buildAllDepAtoms(Set checked) {
        // first gather all dep atoms from all known dep atoms
        for (OntologyAtom p : dependencies) {
            Set dep = p.getAllDepAtoms(checked);
            allDependencies.addAll(dep);
        }
        // now filter them out from known dep atoms
        filterDep();
        // add direct deps to all deps
        allDependencies.addAll(dependencies);
        // now the atom is checked
        checked.add(this);
    }

    // fill in the sets

    /**
     * @param ax axiom to add to the atom
     */
    public void addAxiom(AxiomWrapper ax) {
        axioms.add(ax);
        ax.setAtom(this);
    }

    /**
     * @param axs axioms to add to the atom
     */
    public void addAxioms(Collection axs) {
        axs.forEach(this::addAxiom);
    }

    /**
     * @param atom add atom to the dependency set
     */
    public void addDepAtom(@Nullable OntologyAtom atom) {
        if (atom != null && atom != this) {
            dependencies.add(atom);
        }
    }

    /**
     * get all the atoms the current one depends on; build this set if necessary
     *
     * @param checked atoms to check
     * @return all dependencies
     */
    public Set getAllDepAtoms(Set checked) {
        if (checked.contains(this)) {
            buildAllDepAtoms(checked);
        }
        return allDependencies;
    }

    /**
     * @return all the atom's axioms
     */
    public List getAtomAxioms() {
        return axioms;
    }

    // access to axioms

    /**
     * @return all the module axioms
     */
    public List getModule() {
        return module;
    }

    /**
     * set the module axioms
     *
     * @param module the module axioms
     */
    public void setModule(Collection module) {
        this.module = new ArrayList<>(module);
    }

    /**
     * @return atoms a given one depends on
     */
    public Set getDependencies() {
        return dependencies;
    }

    /**
     * @return the value of the id
     */
    public int getId() {
        return id;
    }

    /**
     * @param id the id value
     */
    public void setId(int id) {
        this.id = id;
    }
}