org.coode.suggestor.impl.CheckSubsSanctionRule Maven / Gradle / Ivy

Go to download
/**
 * Date: Dec 17, 2007
 *
 * code made available under Mozilla Public License (http://www.mozilla.org/MPL/MPL-1.1.html)
 *
 * copyright 2007, The University of Manchester
 *
 * @author Nick Drummond, The University Of Manchester, Bio Health Informatics Group
 */
package org.coode.suggestor.impl;

import org.coode.suggestor.api.PropertySanctionRule;
import org.coode.suggestor.api.PropertySuggestor;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.reasoner.Node;
import org.semanticweb.owlapi.reasoner.OWLReasoner;

/** 
 * Looks at the direct subclasses to determine which properties are used as they
 * may be considered distinguishing features.
 * 
 * 
 * Sanction is met if for all d where DirectStrictSubClassOf(c, d) if
 * isCurrent(d, p, true) is entailed.
 * 
 * 
 * See {@link OWLReasoner} for definition of DirectStrictSubClassOf
 *  */
public class CheckSubsSanctionRule implements PropertySanctionRule {
    private OWLReasoner r;
    private PropertySuggestor ps;

    @Override
    public void setSuggestor(PropertySuggestor ps) {
        this.ps = ps;
        r = ps.getReasoner();
    }

    @Override
    public boolean meetsSanction(OWLClassExpression c, OWLObjectPropertyExpression p) {
        for (Node sub : r.getSubClasses(c, true)) {
            if (ps.isCurrent(sub.getRepresentativeElement(), p, true)) {
                return true;
            }
        }
        return false;
    }

    @Override
    public boolean meetsSanction(OWLClassExpression c, OWLDataProperty p) {
        for (Node sub : r.getSubClasses(c, true)) {
            if (ps.isCurrent(sub.getRepresentativeElement(), p, true)) {
                return true;
            }
        }
        return false;
    }
}