edu.stanford.protege.webprotege.change.matcher.SubClassOfWithFreshEntitiesMatcher 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 org.semanticweb.owlapi.change.AddAxiomData;
import org.semanticweb.owlapi.change.OWLOntologyChangeData;
import org.semanticweb.owlapi.change.RemoveAxiomData;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLDeclarationAxiom;
import org.semanticweb.owlapi.model.OWLSubClassOfAxiom;

import java.util.List;
import java.util.stream.Stream;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 14 Mar 2017
 */
public class SubClassOfWithFreshEntitiesMatcher {
//
//    private final OWLObjectStringFormatter formatter;
//
//    @Inject
//    public SubClassOfWithFreshEntitiesMatcher(OWLObjectStringFormatter formatter) {
//        this.formatter = formatter;
//    }
//
//    @Override
//    public Optional getDescription(List changeData) {
//        Set added = addedPropertyFillers(changeData)
//                .collect(Collectors.toSet());
//        if (added.size() != 1) {
//            return Optional.empty();
//        }
//        PropertyFiller addedPropertyValue = added.iterator().next();
//        Set removed = removePropertyFillers(changeData)
//                .collect(Collectors.toSet());
//        Optional declaredFiller = addedDeclarationAxioms(changeData)
//                .filter(ax -> ax.getEntity().equals(addedPropertyValue.getFiller().get()))
//                .map(OWLDeclarationAxiom::getEntity)
//                .findFirst();
//        Optional declaredProperty = addedDeclarationAxioms(changeData)
//                .map(OWLDeclarationAxiom::getEntity)
//                .filter(entity -> entity.equals(addedPropertyValue.getProperty().get()))
//                .findFirst();
//        if (!declaredFiller.isPresent() && !declaredProperty.isPresent()) {
//            return Optional.empty();
//        }
//        String created = "";
//        if (declaredProperty.isPresent()) {
//            created += formatter.formatString("Created %s inline.  " , declaredProperty.get());
//        }
//        if (declaredFiller.isPresent()) {
//            created += formatter.formatString("Created %s inline.  " , declaredFiller.get());
//        }
//        if (removed.isEmpty()) {
//            var msg = formatter.formatString("Added relationship (%s  %s) on %s.  %s" ,
//                                    addedPropertyValue.getProperty().get(),
//                                    addedPropertyValue.getFiller().get(),
//                                    addedPropertyValue.getSubject(),
//                                    created);
//            return Optional.of(ChangeSummary.get(msg));
//        }
//        else {
//            var msg = formatter.formatString("Edited relationship (%s  %s) on %s.  %s" ,
//                                    addedPropertyValue.getProperty().get(),
//                                    addedPropertyValue.getFiller().get(),
//                                    addedPropertyValue.getSubject(),
//                                    created);
//            return Optional.of(ChangeSummary.get(msg));
//        }
//
//    }

    private static Stream addedAxioms(List change) {
        return change.stream()
                     .filter(data -> data instanceof AddAxiomData)
                     .map(data -> (OWLAxiom) data.getItem());
    }

    private static Stream removedAxiom(List changes) {
        return changes.stream()
                      .filter(data -> data instanceof RemoveAxiomData)
                      .map(data -> (OWLAxiom) data.getItem());
    }

    private static Stream addedDeclarationAxioms(List change) {
        return addedAxioms(change)
                .filter(ax -> ax instanceof OWLDeclarationAxiom)
                .map(ax -> ((OWLDeclarationAxiom) ax));
    }

    private static Stream addedPropertyFillers(List change) {
        return toPropertyFillerExtractors(addedAxioms(change));
    }

    private static Stream removePropertyFillers(List change) {
        return toPropertyFillerExtractors(removedAxiom(change));
    }

    private static Stream toPropertyFillerExtractors(Stream axiomStream) {
        return axiomStream
                .filter(ax -> ax instanceof OWLSubClassOfAxiom)
                .map(ax -> ((OWLSubClassOfAxiom) ax))
                .filter(ax -> !ax.getSubClass().isAnonymous())
                .map(ax -> new PropertyFiller(ax.getSubClass(), ax.getSuperClass()))
                .filter(ext -> ext.isPropertyAndFillerPresent());
    }
}