Package: EpistemicAxiomRemover

EpistemicAxiomRemover

name	instruction	branch	complexity	line	method
EpistemicAxiomRemover(Connector, ValueFactory)	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
remove(AxiomDescriptor)	M: 0 C: 55 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 11 100%	M: 0 C: 1 100%
remove(NamedResource, Map, URI)	M: 11 C: 77 88%	M: 1 C: 5 83%	M: 1 C: 3 75%	M: 1 C: 14 93%	M: 0 C: 1 100%

Coverage

1: /**
2: * Copyright (C) 2019 Czech Technical University in Prague
3: * <p>
4: * This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public
5: * License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later
6: * version.
7: * <p>
8: * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
9: * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
10: * details. You should have received a copy of the GNU General Public License along with this program. If not, see
11: * <http://www.gnu.org/licenses/>.
12: */
13: package cz.cvut.kbss.ontodriver.sesame;
14:
15: import cz.cvut.kbss.ontodriver.descriptor.AxiomDescriptor;
16: import cz.cvut.kbss.ontodriver.model.Assertion;
17: import cz.cvut.kbss.ontodriver.model.NamedResource;
18: import cz.cvut.kbss.ontodriver.model.Value;
19: import cz.cvut.kbss.ontodriver.sesame.connector.Connector;
20: import cz.cvut.kbss.ontodriver.sesame.exceptions.SesameDriverException;
21: import cz.cvut.kbss.ontodriver.sesame.util.SesameUtils;
22: import org.eclipse.rdf4j.model.IRI;
23: import org.eclipse.rdf4j.model.Resource;
24: import org.eclipse.rdf4j.model.Statement;
25: import org.eclipse.rdf4j.model.ValueFactory;
26:
27: import java.util.*;
28:
29: /**
30: * This class performs an epistemic remove of axioms described by the axiom descriptor.
31: * <p/>
32: * Epistemic remove means that only information known to the application is
33: * deleted. The assertions in the descriptor represent this information. Thus,
34: * only these assertions are removed from the ontology. Note that if the
35: * descriptor contains an unspecified property assertion, all property
36: * assertions related to the subject individual are removed from the property's
37: * context.
38: */
39: class EpistemicAxiomRemover {
40:
41: private final Connector connector;
42: private final ValueFactory valueFactory;
43:
44: EpistemicAxiomRemover(Connector connector, ValueFactory valueFactory) {
45: this.connector = connector;
46: this.valueFactory = valueFactory;
47: }
48:
49: void remove(AxiomDescriptor axiomDescriptor) throws SesameDriverException {
50: final Resource individual = SesameUtils.toSesameIri(axiomDescriptor.getSubject().getIdentifier(), valueFactory);
51: final Collection<Statement> toRemove = new HashSet<>();
52:• for (Assertion a : axiomDescriptor.getAssertions()) {
53:• if (a.isInferred()) {
54: continue;
55: }
56: final IRI contextUri = SesameUtils.toSesameIri(axiomDescriptor.getAssertionContext(a), valueFactory);
57: toRemove.addAll(connector.findStatements(individual,
58: SesameUtils.toSesameIri(a.getIdentifier(), valueFactory), null, a.isInferred(), contextUri));
59: }
60: connector.removeStatements(toRemove);
61: }
62:
63: void remove(NamedResource individual, Map<Assertion, Set<Value<?>>> values, java.net.URI context)
64: throws SesameDriverException {
65: final IRI sesameContext = SesameUtils.toSesameIri(context, valueFactory);
66: final Resource subject = SesameUtils.toSesameIri(individual.getIdentifier(), valueFactory);
67: final Collection<Statement> toRemove = new ArrayList<>();
68: final SesameValueConverter valueConverter = new SesameValueConverter(valueFactory);
69:• for (Map.Entry<Assertion, Set<Value<?>>> entry : values.entrySet()) {
70: final IRI property = SesameUtils.toSesameIri(entry.getKey().getIdentifier(), valueFactory);
71:• for (Value<?> val : entry.getValue()) {
72: final org.eclipse.rdf4j.model.Value sesameValue = valueConverter.toSesameValue(entry.getKey(), val);
73:• if (sesameContext != null) {
74: toRemove.add(valueFactory.createStatement(subject, property, sesameValue, sesameContext));
75: } else {
76: toRemove.add(valueFactory.createStatement(subject, property, sesameValue));
77: }
78: }
79: }
80: connector.removeStatements(toRemove);
81: }
82: }