uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl 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
There is a newer version: 5.5.1
package uk.ac.manchester.cs.atomicdecomposition;

import java.util.*;
import java.util.stream.Stream;

import javax.annotation.Nullable;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLEntity;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapitools.decomposition.*;

import com.google.common.collect.LinkedHashMultimap;
import com.google.common.collect.Multimap;

import gnu.trove.map.hash.TObjectIntHashMap;
import uk.ac.manchester.cs.owlapi.modularity.ModuleType;

/** atomc decomposition implementation */
public class AtomicDecompositionImpl implements AtomicDecomposition {

    Set globalAxioms;
    Set tautologies;
    final Multimap termBasedIndex = LinkedHashMultimap.create();
    List atoms;
    TObjectIntHashMap atomIndex = new TObjectIntHashMap<>();
    IdentityMultiMap dependents = new IdentityMultiMap<>();
    IdentityMultiMap dependencies = new IdentityMultiMap<>();
    Decomposer decomposer;
    private final ModuleType type;

    /**
     * @param o
     *        o
     */
    public AtomicDecompositionImpl(OWLOntology o) {
        this(AxiomSelector.selectAxioms(o), ModuleType.BOT);
    }

    /**
     * @param o
     *        o
     * @param type
     *        type
     */
    public AtomicDecompositionImpl(OWLOntology o, ModuleType type) {
        this(AxiomSelector.selectAxioms(o), type);
    }

    /**
     * @param axioms
     *        axioms
     * @param type
     *        type
     */
    public AtomicDecompositionImpl(List axioms, ModuleType type) {
        this.type = type;
        decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker());
        int size = decomposer.getAOS(this.type).size();
        atoms = new ArrayList<>();
        for (int i = 0; i < size; i++) {
            final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms()));
            atoms.add(atom);
            atomIndex.put(atom, i);
            for (OWLEntity e : atom.getSignature()) {
                termBasedIndex.put(e, atom);
            }
        }
        for (int i = 0; i < size; i++) {
            Set dependentIndexes = decomposer.getAOS().get(i).getDependencies();
            for (OntologyAtom j : dependentIndexes) {
                dependencies.put(atoms.get(i), atoms.get(j.getId()));
                dependents.put(atoms.get(j.getId()), atoms.get(i));
            }
        }
    }

    Set asSet(Collection c) {
        Set toReturn = new HashSet<>();
        for (AxiomWrapper p : c) {
            toReturn.add(p.getAxiom());
        }
        return toReturn;
    }

    int getModuleType() {
        return type.ordinal();
    }

    @Override
    public Set getAtoms() {
        return new HashSet<>(atoms);
    }

    @Nullable
    @Override
    public Atom getAtomForAxiom(OWLAxiom axiom) {
        for (int i = 0; i < atoms.size(); i++) {
            if (atoms.get(i).contains(axiom)) {
                return atoms.get(i);
            }
        }
        return null;
    }

    @Override
    public boolean isTopAtom(Atom atom) {
        return !dependents.containsKey(atom);
    }

    @Override
    public boolean isBottomAtom(Atom atom) {
        return !dependencies.containsKey(atom);
    }

    @Override
    public Set getPrincipalIdeal(Atom atom) {
        return asSet(getAtomModule(atomIndex.get(atom)));
    }

    @Override
    public Set getPrincipalIdealSignature(Atom atom) {
        return Collections.emptySet();
    }

    @Override
    public Set getDependencies(Atom atom) {
        return getDependencies(atom, false);
    }

    @Override
    public Set getDependencies(Atom atom, boolean direct) {
        return explore(atom, direct, dependencies);
    }

    @Override
    public Set getDependents(Atom atom) {
        return getDependents(atom, false);
    }

    @Override
    public Set getDependents(Atom atom, boolean direct) {
        return explore(atom, direct, dependents);
    }

    Set explore(Atom atom, boolean direct, IdentityMultiMap multimap) {
        if (direct) {
            Set hashSet = new HashSet<>(multimap.get(atom));
            for (Atom a : multimap.get(atom)) {
                hashSet.removeAll(multimap.get(a));
            }
            return hashSet;
        }
        Map toReturn = new HashMap<>();
        toReturn.put(atom, atom);
        List toDo = new ArrayList<>();
        toDo.add(atom);
        for (int i = 0; i < toDo.size(); i++) {
            final Atom key = toDo.get(i);
            if (key != null) {
                Collection c = multimap.get(key);
                for (Atom a : c) {
                    if (toReturn.put(a, a) == null) {
                        toDo.add(a);
                    }
                }
            }
        }
        return toReturn.keySet();
    }

    @Override
    public Set getRelatedAtoms(Atom atom) {
        Set s = getDependencies(atom);
        s.addAll(getDependents(atom));
        return s;
    }

    @Override
    public Set getTopAtoms() {
        Set keys = getAtoms();
        keys.removeAll(dependencies.getAllValues());
        return keys;
    }

    @Override
    public Set getBottomAtoms() {
        Set keys = getAtoms();
        keys.removeAll(dependents.getAllValues());
        return keys;
    }

    Set getGlobalAxioms() {
        return globalAxioms;
    }

    void setGlobalAxioms(Set globalAxioms) {
        this.globalAxioms = globalAxioms;
    }

    @Override
    public Set getTautologies() {
        return asSet(decomposer.getTautologies());
    }

    @Override
    public Map> getTermBasedIndex() {
        Map> toReturn = new HashMap<>();
        for (OWLEntity e : termBasedIndex.keySet()) {
            toReturn.put(e, new HashSet<>(termBasedIndex.get(e)));
        }
        return toReturn;
    }

    /**
     * get a set of axioms that corresponds to the module of the atom with the
     * id INDEX
     * 
     * @param index
     *        index
     * @return module at index
     */
    Collection getAtomModule(int index) {
        return decomposer.getAOS().get(index).getModule();
    }

    @Override
    public AtomList getAtomList() {
        return decomposer.getAOS();
    }

    @Override
    public Stream getModule(Stream signature, boolean useSemantics, ModuleType moduletype) {
        return decomposer.getModule(signature, useSemantics, moduletype).stream().map(AxiomWrapper::getAxiom).filter(
            ax -> ax != null);
    }
}