edu.stanford.protege.webprotege.change.matcher.SubClassOfAxiomMatcher 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.reflect.TypeToken;
import edu.stanford.protege.webprotege.change.OntologyChange;
import edu.stanford.protege.webprotege.change.description.AddedParent;
import edu.stanford.protege.webprotege.change.description.AddedRelationship;
import edu.stanford.protege.webprotege.change.description.RemovedParent;
import edu.stanford.protege.webprotege.owlapi.OWLObjectStringFormatter;
import org.semanticweb.owlapi.model.OWLObject;
import org.semanticweb.owlapi.model.OWLProperty;
import org.semanticweb.owlapi.model.OWLSubClassOfAxiom;

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

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 20/03/16
 */
public class SubClassOfAxiomMatcher extends AbstractAxiomMatcher {

    private final OWLObjectStringFormatter formatter;

    @Inject
    public SubClassOfAxiomMatcher(OWLObjectStringFormatter formatter) {
        super(new TypeToken(){});
        this.formatter = formatter;
    }

    @Override
    protected Optional getDescriptionForAddAxiomChange(OWLSubClassOfAxiom axiom,
                                                                      List changes) {
        var subClass = axiom.getSubClass();
        var superClass = axiom.getSuperClass();
        var propertyFiller = new PropertyFiller(subClass, superClass);
        Optional property = propertyFiller.getProperty();
        Optional filler = propertyFiller.getFiller();
        if(property.isPresent() && filler.isPresent()) {
            return Optional.of(ChangeSummary.get(AddedRelationship.get(subClass,
                                                                       property.get(),
                                                                       filler.get())));
        }
        else if(changes.size() == 1) {
            if(subClass.isAnonymous()) {
                return Optional.empty();
            }
            if(superClass.isAnonymous()) {
                return Optional.empty();
            }
            return Optional.of(ChangeSummary.get(AddedParent.get(subClass.asOWLClass(),
                                                                 superClass.asOWLClass())));
        }
        else {
            return Optional.empty();
        }
    }

    @Override
    protected Optional getDescriptionForRemoveAxiomChange(OWLSubClassOfAxiom axiom) {
        PropertyFiller propertyFiller = new PropertyFiller(axiom.getSuperClass(),
                                                           axiom.getSuperClass());
        Optional property = propertyFiller.getProperty();
        Optional filler = propertyFiller.getFiller();
        if(property.isPresent() && filler.isPresent()) {
            return Optional.of(ChangeSummary.get(AddedRelationship.get(axiom.getSubClass(),
                                                                       property.get(),
                                                                       filler.get())));
        }
        else {
            if(axiom.getSubClass().isAnonymous()) {
                return Optional.empty();
            }
            if(axiom.getSuperClass().isAnonymous()) {
                return Optional.empty();
            }
            return Optional.of(ChangeSummary.get(RemovedParent.get(axiom.getSubClass().asOWLClass(),
                                                                   axiom.getSuperClass().asOWLClass())));
        }
    }

    @Override
    protected boolean allowSignatureDeclarations() {
        return true;
    }
}