Package: IntegrityConstraintFactory

IntegrityConstraintFactory

Coverage

1: /*
2: * JOPA
3: * Copyright (C) 2023 Czech Technical University in Prague
4: *
5: * This library is free software; you can redistribute it and/or
6: * modify it under the terms of the GNU Lesser General Public
7: * License as published by the Free Software Foundation; either
8: * version 3.0 of the License, or (at your option) any later version.
9: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library.
17: */
18: package cz.cvut.kbss.jopa.ic.api;
19:
20: import org.semanticweb.owlapi.model.OWLClass;
21: import org.semanticweb.owlapi.model.OWLDataProperty;
22: import org.semanticweb.owlapi.model.OWLDatatype;
23: import org.semanticweb.owlapi.model.OWLObjectProperty;
24:
25: public interface IntegrityConstraintFactory {
26:
27: AtomicSubClassConstraint SubClassConstraint(
28: final OWLClass sub, final OWLClass sup);
29:
30: DataParticipationConstraint MinDataParticipationConstraint(
31: final OWLClass s, final OWLDataProperty p, final OWLDatatype o,
32: final int card);
33:
34: DataParticipationConstraint MaxDataParticipationConstraint(
35: final OWLClass s, final OWLDataProperty p, final OWLDatatype o,
36: final int card);
37:
38: DataParticipationConstraint DataParticipationConstraint(
39: final OWLClass s, final OWLDataProperty p, final OWLDatatype o,
40: final int min, int max);
41:
42: ObjectParticipationConstraint MinObjectParticipationConstraint(
43: final OWLClass s, final OWLObjectProperty p, final OWLClass o,
44: final int card);
45:
46: ObjectParticipationConstraint MaxObjectParticipationConstraint(
47: final OWLClass s, final OWLObjectProperty p, final OWLClass o,
48: final int card);
49:
50: ObjectParticipationConstraint ObjectParticipationConstraint(
51: final OWLClass s, final OWLObjectProperty p, final OWLClass o,
52: final int min, int max);
53:
54: ObjectDomainConstraint ObjectPropertyDomainConstraint(
55: final OWLObjectProperty p, final OWLClass s);
56:
57: ObjectRangeConstraint ObjectPropertyRangeConstraint(
58: final OWLClass subj, final OWLObjectProperty p, final OWLClass s);
59:
60: DataDomainConstraint DataPropertyDomainConstraint(
61: final OWLDataProperty p, final OWLClass s);
62:
63: DataRangeConstraint DataPropertyRangeConstraint(
64: final OWLClass subj, final OWLDataProperty p, final OWLDatatype s);
65: }