IntegrityConstraintClassParser.java

/**
 * Copyright (C) 2020 Czech Technical University in Prague
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any
 * later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
 * details. You should have received a copy of the GNU General Public License
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
 */
package cz.cvut.kbss.jopa.owl2java;

import cz.cvut.kbss.jopa.ic.api.IntegrityConstraint;
import cz.cvut.kbss.jopa.ic.api.IntegrityConstraintFactory;
import cz.cvut.kbss.jopa.ic.impl.IntegrityConstraintFactoryImpl;
import cz.cvut.kbss.jopa.owl2java.exception.UnsupportedICException;
import org.semanticweb.owlapi.model.*;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

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

public class IntegrityConstraintClassParser implements OWLClassExpressionVisitor {

    private static final Logger LOG = LoggerFactory.getLogger(IntegrityConstraintClassParser.class);

    private final Set<IntegrityConstraint> integrityConstraints = new HashSet<>();

    private final OWLClass subjClass;

    private final IntegrityConstraintFactory integrityConstraintFactory = new IntegrityConstraintFactoryImpl();

    public IntegrityConstraintClassParser(final OWLClass subjClass) {
        this.subjClass = subjClass;
    }

    private static void notSupported(final OWLObject o) {
        LOG.info("Ignoring Unsupported Axiom : {}", o);
    }

    public Set<IntegrityConstraint> getIntegrityConstraints() {
        return integrityConstraints;
    }

    @Override
    public void visit(OWLDataMaxCardinality arg0) {
        try {
            final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
            final OWLDataProperty dp = Utils.ensureDataProperty(arg0
                    .getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MaxDataParticipationConstraint(subjClass, dp, dt,
                            arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLDataExactCardinality arg0) {
        try {
            final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
            final OWLDataProperty dp = Utils.ensureDataProperty(arg0
                    .getProperty());

            integrityConstraints.add(integrityConstraintFactory.DataParticipationConstraint(
                    subjClass, dp, dt, arg0.getCardinality(),
                    arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLDataMinCardinality arg0) {
        try {
            final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
            final OWLDataProperty dp = Utils.ensureDataProperty(arg0
                    .getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MinDataParticipationConstraint(subjClass, dp, dt,
                            arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLDataHasValue arg0) {
        notSupported(arg0);
        //IntegrityConstraintParser.ensureDataProperty(arg0.getProperty());
        //
        // set.add(IntegrityConstraintFactoryImpl
        // .datatypeParticipationConstraint(subjClass, arg0
        // .getProperty().asOWLDataProperty(), f
        // .getOWLDataOneOf(arg0.getValue()), 1, 1));
    }

    @Override
    public void visit(OWLDataAllValuesFrom arg0) {
        try {
            OWLDataProperty op = Utils.ensureDataProperty(arg0.getProperty());
            OWLDatatype clz = Utils.ensureDatatype(arg0.getFiller());

            integrityConstraints.add(integrityConstraintFactory.DataPropertyRangeConstraint(
                    subjClass, op, clz));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLDataSomeValuesFrom arg0) {
        try {
            final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
            final OWLDataProperty dp = Utils.ensureDataProperty(arg0
                    .getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MinDataParticipationConstraint(subjClass, dp, dt, 1));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectOneOf arg0) {
        notSupported(arg0);
    }

    @Override
    public void visit(OWLObjectHasSelf arg0) {
        notSupported(arg0);
    }

    @Override
    public void visit(OWLObjectMaxCardinality arg0) {
        try {
            OWLClass c = Utils.ensureClass(arg0.getFiller());
            OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MaxObjectParticipationConstraint(subjClass, p, c,
                            arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectExactCardinality arg0) {
        try {
            OWLClass c = Utils.ensureClass(arg0.getFiller());
            OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .ObjectParticipationConstraint(subjClass, p, c,
                            arg0.getCardinality(), arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectMinCardinality arg0) {
        try {
            OWLClass c = Utils.ensureClass(arg0.getFiller());
            OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MinObjectParticipationConstraint(subjClass, p, c,
                            arg0.getCardinality()));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectHasValue arg0) {
        notSupported(arg0);
    }

    @Override
    public void visit(OWLObjectAllValuesFrom arg0) {
        try {
            OWLObjectProperty op = Utils.ensureObjectProperty(arg0.getProperty());
            OWLClass clz = Utils.ensureClass(arg0.getFiller());

            integrityConstraints.add(integrityConstraintFactory
                    .ObjectPropertyRangeConstraint(subjClass, op, clz));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectSomeValuesFrom arg0) {
        try {
            OWLClass c = Utils.ensureClass(arg0.getFiller());
            OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());

            integrityConstraints.add(integrityConstraintFactory
                    .MinObjectParticipationConstraint(subjClass, p, c, 1));
        } catch (UnsupportedICException e) {
            notSupported(arg0);
        }
    }

    @Override
    public void visit(OWLObjectComplementOf arg0) {
        notSupported(arg0);
    }

    @Override
    public void visit(OWLObjectUnionOf arg0) {
        notSupported(arg0);
    }

    @Override
    public void visit(OWLObjectIntersectionOf arg0) {
        arg0.operands().forEach(o -> o.accept(this));
    }

    @Override
    public void visit(OWLClass arg0) {
        integrityConstraints.add(integrityConstraintFactory.SubClassConstraint(subjClass, arg0));
    }
}