org.coode.oppl.search.solvability.AssertedModelQuerySolver Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of oppl2-oppl2 Show documentation
There is a newer version: 5.0.0
package org.coode.oppl.search.solvability;

import static org.coode.oppl.utils.ArgCheck.checkNotNull;

import java.util.HashSet;
import java.util.Iterator;
import java.util.Set;

import org.semanticweb.owlapi.model.AxiomType;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.model.OWLSubClassOfAxiom;

/** @author Luigi Iannone */
public final class AssertedModelQuerySolver implements QuerySolver {
    private final OWLOntologyManager ontologyManager;

    /** @param ontologyManager
     *            ontologyManager */
    public AssertedModelQuerySolver(OWLOntologyManager ontologyManager) {
        this.ontologyManager = checkNotNull(ontologyManager, "ontologyManager");
    }

    @Override
    public Set getSubClasses(OWLClassExpression superClass) {
        Set toReturn = new HashSet();
        for (OWLOntology ontology : ontologyManager.getOntologies()) {
            for (OWLSubClassOfAxiom owlAxiom : ontology.getAxioms(AxiomType.SUBCLASS_OF)) {
                if (owlAxiom.getSuperClass().equals(superClass)
                        && !owlAxiom.getSubClass().isAnonymous()) {
                    toReturn.add(owlAxiom.getSubClass().asOWLClass());
                }
            }
        }
        return toReturn;
    }

    @Override
    public Set getSuperClasses(OWLClassExpression subClass) {
        Set toReturn = new HashSet();
        for (OWLOntology ontology : ontologyManager.getOntologies()) {
            for (OWLSubClassOfAxiom owlAxiom : ontology.getAxioms(AxiomType.SUBCLASS_OF)) {
                if (owlAxiom.getSubClass().equals(subClass)
                        && !owlAxiom.getSuperClass().isAnonymous()) {
                    toReturn.add(owlAxiom.getSuperClass().asOWLClass());
                }
            }
        }
        return toReturn;
    }

    @Override
    public Set getNamedFillers(OWLNamedIndividual subject,
            OWLObjectPropertyExpression objectProperty) {
        Set toReturn = new HashSet();
        for (OWLOntology ontology : ontologyManager.getOntologies()) {
            for (OWLObjectPropertyAssertionAxiom owlAxiom : ontology
                    .getAxioms(AxiomType.OBJECT_PROPERTY_ASSERTION)) {
                if (owlAxiom.getSubject().equals(subject)
                        && owlAxiom.getProperty().equals(objectProperty)
                        && !owlAxiom.getObject().isAnonymous()) {
                    toReturn.add(owlAxiom.getObject().asOWLNamedIndividual());
                }
            }
        }
        return toReturn;
    }

    @Override
    public boolean hasNoSubClass(OWLClassExpression superClass) {
        boolean found = false;
        Iterator ontologyIterator = ontologyManager.getOntologies()
                .iterator();
        while (!found && ontologyIterator.hasNext()) {
            OWLOntology owlOntology = ontologyIterator.next();
            Iterator iterator = owlOntology.getAxioms(
                    AxiomType.SUBCLASS_OF).iterator();
            while (!found && iterator.hasNext()) {
                OWLSubClassOfAxiom owlSubClassOfAxiom = iterator.next();
                found = owlSubClassOfAxiom.getSuperClass().equals(superClass);
            }
        }
        return !found;
    }

    @Override
    public boolean hasNoSuperClass(OWLClassExpression subClass) {
        boolean found = false;
        Iterator ontologyIterator = ontologyManager.getOntologies()
                .iterator();
        while (!found && ontologyIterator.hasNext()) {
            OWLOntology owlOntology = ontologyIterator.next();
            Iterator iterator = owlOntology.getAxioms(
                    AxiomType.SUBCLASS_OF).iterator();
            while (!found && iterator.hasNext()) {
                OWLSubClassOfAxiom owlSubClassOfAxiom = iterator.next();
                found = owlSubClassOfAxiom.getSubClass().equals(subClass);
            }
        }
        return !found;
    }
}