edu.stanford.protege.webprotege.change.CreateObjectPropertiesChangeGenerator 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;



import com.google.common.collect.ImmutableSet;
import edu.stanford.protege.webprotege.common.ChangeRequestId;
import edu.stanford.protege.webprotege.msg.MessageFormatter;
import edu.stanford.protege.webprotege.project.DefaultOntologyIdManager;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLObjectProperty;

import javax.annotation.Nonnull;
import java.util.Set;

import static com.google.common.base.Preconditions.checkNotNull;
import static java.util.stream.Collectors.toSet;
import static org.semanticweb.owlapi.model.EntityType.OBJECT_PROPERTY;

/**
 * Author: Matthew Horridge

 * Stanford University

 * Bio-Medical Informatics Research Group

 * Date: 25/03/2013
 */

public class CreateObjectPropertiesChangeGenerator extends AbstractCreateEntitiesChangeListGenerator {

    @Nonnull
    private final OWLDataFactory dataFactory;

    public CreateObjectPropertiesChangeGenerator(@Nonnull OWLDataFactory dataFactory,
                                                 @Nonnull MessageFormatter msg,
                                                 @Nonnull DefaultOntologyIdManager defaultOntologyIdManager,
                                                 @Nonnull String sourceText,
                                                 @Nonnull String langTag,
                                                 @Nonnull ImmutableSet parents,
                                                 @Nonnull ChangeRequestId changeRequestId) {
        super(OBJECT_PROPERTY, sourceText, langTag, parents, dataFactory, msg, defaultOntologyIdManager,
              changeRequestId);
        this.dataFactory = checkNotNull(dataFactory);
    }

    @Override
    protected Set createParentPlacementAxioms(OWLObjectProperty freshEntity,
                                                                  ChangeGenerationContext context,
                                                                  ImmutableSet parents) {
        return parents.stream()
                .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(freshEntity, parent))
                .collect(toSet());
    }
}