All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.semanticweb.owlapi.search.EquivalentVisitor Maven / Gradle / Ivy

There is a newer version: 5.5.1
Show newest version
package org.semanticweb.owlapi.search;

import java.util.Set;

import javax.annotation.Nonnull;

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom;
import org.semanticweb.owlapi.model.OWLDisjointClassesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLObject;
import org.semanticweb.owlapi.model.OWLSameIndividualAxiom;
import org.semanticweb.owlapi.util.CollectionFactory;
import org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter;

@SuppressWarnings("unchecked")
class EquivalentVisitor extends
        OWLAxiomVisitorExAdapter> {

    private final boolean equiv;

    EquivalentVisitor(boolean equiv) {
        super(CollectionFactory. emptySet());
        this.equiv = equiv;
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLEquivalentClassesAxiom axiom) {
        if (equiv) {
            return (Set) axiom.getClassExpressions();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLEquivalentDataPropertiesAxiom axiom) {
        if (equiv) {
            return (Set) axiom.getProperties();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLEquivalentObjectPropertiesAxiom axiom) {
        if (equiv) {
            return (Set) axiom.getProperties();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLDifferentIndividualsAxiom axiom) {
        if (!equiv) {
            return (Set) axiom.getIndividuals();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLSameIndividualAxiom axiom) {
        if (equiv) {
            return (Set) axiom.getIndividuals();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLDisjointClassesAxiom axiom) {
        if (!equiv) {
            return (Set) axiom.getClassExpressions();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLDisjointDataPropertiesAxiom axiom) {
        if (!equiv) {
            return (Set) axiom.getProperties();
        }
        return doDefault(axiom);
    }

    @Nonnull
    @Override
    public Set visit(@Nonnull OWLDisjointObjectPropertiesAxiom axiom) {
        if (!equiv) {
            return (Set) axiom.getProperties();
        }
        return doDefault(axiom);
    }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy