edu.stanford.protege.webprotege.frame.StructuralPropertyValueSubsumptionChecker 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.frame;

import edu.stanford.protege.webprotege.hierarchy.HasHasAncestor;
import org.semanticweb.owlapi.model.*;

import javax.inject.Inject;
import java.util.regex.Pattern;

/**
 * @author Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group, Date: 26/02/2014
 */
public class StructuralPropertyValueSubsumptionChecker implements PropertyValueSubsumptionChecker {


    private final HasHasAncestor classAncestorChecker;

    private final HasHasAncestor objectPropertyAncestorChecker;

    private final HasHasAncestor dataPropertyAncestorChecker;

    private final HasHasAncestor individualClassAncestorChecker;

    @Inject
    public StructuralPropertyValueSubsumptionChecker(HasHasAncestor classAncestorChecker,
                                                     HasHasAncestor objectPropertyAncestorChecker,
                                                     HasHasAncestor dataPropertyAncestorChecker,
                                                     HasHasAncestor individualClassAncestorChecker) {
        this.classAncestorChecker = classAncestorChecker;
        this.objectPropertyAncestorChecker = objectPropertyAncestorChecker;
        this.dataPropertyAncestorChecker = dataPropertyAncestorChecker;
        this.individualClassAncestorChecker = individualClassAncestorChecker;
    }

    @Override
    public boolean isSubsumedBy(PlainPropertyValue propertyValueA, PlainPropertyValue propertyValueB) {
        if (isSubsumedBy(propertyValueA.getProperty(), propertyValueB.getProperty())) {
            return isSubsumedBy(propertyValueA.getValue(), propertyValueB.getValue());
        }
        return false;
    }

    private boolean isSubsumedBy(Object entityA, Object entityB) {
        if (entityA.equals(entityB)) {
            return true;
        }
        if (entityA instanceof OWLNamedIndividual && entityB instanceof OWLClass) {
            OWLNamedIndividual indA = (OWLNamedIndividual) entityA;
            OWLClass clsB = (OWLClass) entityB;
            return individualClassAncestorChecker.hasAncestor(indA, clsB);
        }
        else if (entityA instanceof OWLClass && entityB instanceof OWLClass) {
            OWLClass clsA = (OWLClass) entityA;
            OWLClass clsB = (OWLClass) entityB;
            return classAncestorChecker.hasAncestor(clsA, clsB);
        }
        else if (entityA instanceof OWLObjectProperty && entityB instanceof OWLObjectProperty) {
            OWLObjectProperty propertyA = (OWLObjectProperty) entityA;
            OWLObjectProperty propertyB = (OWLObjectProperty) entityB;
            return objectPropertyAncestorChecker.hasAncestor(propertyA, propertyB);
        }
        else if (entityA instanceof OWLDataProperty && entityB instanceof OWLDataProperty) {
            OWLDataProperty propertyA = (OWLDataProperty) entityA;
            OWLDataProperty propertyB = (OWLDataProperty) entityB;
            return dataPropertyAncestorChecker.hasAncestor(propertyA, propertyB);
        }
        else if (entityA instanceof OWLLiteral && entityB instanceof OWLDatatype) {
            OWLLiteral litA = (OWLLiteral) entityA;
            OWLDatatype dtB = (OWLDatatype) entityB;
            if(litA.getDatatype().equals(dtB)) {
                if(dtB.isBuiltIn()) {
                    Pattern pattern = dtB.getBuiltInDatatype().getPattern();
                    return pattern.matcher(litA.getLiteral()).matches();
                }
                else {
                    return true;
                }
            }
            else {
                // Should check datatype subsumption hierarchy!
                return false;
            }
        }
        else {
            return false;
        }
    }
}