edu.stanford.protege.webprotege.change.matcher.SameIndividualAxiomChangeMatcher Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of webprotege-backend-service Show documentation

The newest version!

package edu.stanford.protege.webprotege.change.matcher;

import com.google.common.collect.ImmutableSet;
import com.google.common.reflect.TypeToken;
import edu.stanford.protege.webprotege.change.OntologyChange;
import edu.stanford.protege.webprotege.change.description.AddedSameAs;
import edu.stanford.protege.webprotege.change.description.RemovedSameAs;
import org.semanticweb.owlapi.model.OWLSameIndividualAxiom;

import javax.inject.Inject;
import java.util.List;
import java.util.Optional;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 14 Mar 2017
 */
public class SameIndividualAxiomChangeMatcher extends AbstractAxiomMatcher {

    @Inject
    public SameIndividualAxiomChangeMatcher() {
        super(new TypeToken() {});
    }

    @Override
    protected Optional getDescriptionForAddAxiomChange(OWLSameIndividualAxiom axiom,
                                                                      List changes) {
        return Optional.of(ChangeSummary.get(AddedSameAs.get(ImmutableSet.copyOf(axiom.getIndividuals()))));
    }

    @Override
    protected Optional getDescriptionForRemoveAxiomChange(OWLSameIndividualAxiom axiom) {
        return Optional.of(ChangeSummary.get(RemovedSameAs.get(ImmutableSet.copyOf(axiom.getAnonymousIndividuals()))));
    }
}