Package: ICSatisfiabilityChecker

ICSatisfiabilityChecker

name	instruction	branch	complexity	line	method
ICSatisfiabilityChecker(OWLReasoner, OWLDataFactory)	M: 9 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 4 C: 0 0%	M: 1 C: 0 0%
getResult()	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
visit(AtomicSubClassConstraint)	M: 13 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
visit(DataDomainConstraint)	M: 1 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
visit(DataParticipationConstraint)	M: 41 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 5 C: 0 0%	M: 1 C: 0 0%
visit(DataRangeConstraint)	M: 1 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
visit(ObjectDomainConstraint)	M: 1 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
visit(ObjectParticipationConstraint)	M: 41 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 5 C: 0 0%	M: 1 C: 0 0%
visit(ObjectRangeConstraint)	M: 1 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%

Coverage

1: /**
2: * Copyright (C) 2016 Czech Technical University in Prague
3: * <p>
4: * This program is free software: you can redistribute it and/or modify it under
5: * the terms of the GNU General Public License as published by the Free Software
6: * Foundation, either version 3 of the License, or (at your option) any
7: * later version.
8: * <p>
9: * This program is distributed in the hope that it will be useful, but WITHOUT
10: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
11: * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
12: * details. You should have received a copy of the GNU General Public License
13: * along with this program. If not, see <http://www.gnu.org/licenses/>.
14: */
15: package cz.cvut.kbss.jopa.owl2java;
16:
17: import cz.cvut.kbss.jopa.ic.api.AtomicSubClassConstraint;
18: import cz.cvut.kbss.jopa.ic.api.DataDomainConstraint;
19: import cz.cvut.kbss.jopa.ic.api.DataParticipationConstraint;
20: import cz.cvut.kbss.jopa.ic.api.DataRangeConstraint;
21: import cz.cvut.kbss.jopa.ic.api.IntegrityConstraintVisitor;
22: import cz.cvut.kbss.jopa.ic.api.ObjectDomainConstraint;
23: import cz.cvut.kbss.jopa.ic.api.ObjectParticipationConstraint;
24: import cz.cvut.kbss.jopa.ic.api.ObjectRangeConstraint;
25: import org.semanticweb.owlapi.model.OWLDataFactory;
26: import org.semanticweb.owlapi.reasoner.OWLReasoner;
27:
28: public class ICSatisfiabilityChecker implements IntegrityConstraintVisitor {
29:
30: private OWLReasoner r;
31: private OWLDataFactory f;
32:
33: private boolean result;
34:
35: public ICSatisfiabilityChecker(final OWLReasoner r, final OWLDataFactory f) {
36: this.f = f;
37: this.r = r;
38: }
39:
40: @Override
41: public void visit(AtomicSubClassConstraint cpc) {
42: result = r.isEntailed(f.getOWLSubClassOfAxiom(cpc.getSubClass(), cpc.getSupClass()));
43: }
44:
45: public void visit(DataParticipationConstraint cpc) {
46: result = r.isSatisfiable(f.getOWLObjectIntersectionOf(cpc.getSubject(),
47: f.getOWLDataMaxCardinality(cpc.getMax(), cpc.getPredicate(),
48: cpc.getObject()), f.getOWLDataMinCardinality(cpc
49: .getMin(), cpc.getPredicate())));
50: }
51:
52: public void visit(ObjectParticipationConstraint cpc) {
53: result = r.isSatisfiable(f.getOWLObjectIntersectionOf(cpc.getSubject(),
54: f.getOWLObjectMaxCardinality(cpc.getMax(), cpc.getPredicate(),
55: cpc.getObject()), f.getOWLObjectMinCardinality(cpc
56: .getMin(), cpc.getPredicate())));
57: }
58:
59: public boolean getResult() {
60: return result;
61: }
62:
63: public void visit(ObjectDomainConstraint cpc) {
64: // TODO Auto-generated method stub
65:
66: }
67:
68: public void visit(ObjectRangeConstraint cpc) {
69: // TODO Auto-generated method stub
70:
71: }
72:
73: public void visit(DataDomainConstraint cpc) {
74: // TODO Auto-generated method stub
75:
76: }
77:
78: public void visit(DataRangeConstraint cpc) {
79: // TODO Auto-generated method stub
80:
81: }
82: }