org.coode.suggestor.impl.CheckSubsStructureSanctionRule 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.coode.suggestor.util.RestrictionAccumulator;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataAllValuesFrom;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLObjectAllValuesFrom;
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 restricted.
 * 
 * 
 * Sanction is met if for all d where DirectStrictSubClassOf(c, d) if
 * SubClassOf(d, p only x) is asserted (where x is any class expression).
 * 
 * 
 * NNF is used when evaluating candidate restrictions.
 *  */
public class CheckSubsStructureSanctionRule implements PropertySanctionRule {
    private OWLReasoner r;

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

    @Override
    public boolean meetsSanction(OWLClassExpression c, OWLObjectPropertyExpression p) {
        for (Node sub : r.getSubClasses(c, true)) {
            RestrictionAccumulator acc = new RestrictionAccumulator(r);
            for (OWLClass s : sub.getEntities()) {
                for (OWLClassExpression restr : acc.getRestrictions(s, p)) {
                    restr = restr.getNNF();
                    if (restr instanceof OWLObjectAllValuesFrom) {
                        return true;
                    }
                }
            }
        }
        return false;
    }

    @Override
    public boolean meetsSanction(OWLClassExpression c, OWLDataProperty p) {
        for (Node sub : r.getSubClasses(c, true)) {
            RestrictionAccumulator acc = new RestrictionAccumulator(r);
            for (OWLClass s : sub.getEntities()) {
                for (OWLClassExpression restr : acc.getRestrictions(s, p)) {
                    restr = restr.getNNF();
                    if (restr instanceof OWLDataAllValuesFrom) {
                        return true;
                    }
                }
            }
        }
        return false;
    }
}