-
Notifications
You must be signed in to change notification settings - Fork 14
/
EpistemicAxiomRemover.java
84 lines (77 loc) · 3.97 KB
/
EpistemicAxiomRemover.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
/**
* 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.ontodriver.sesame;
import cz.cvut.kbss.ontodriver.descriptor.AxiomDescriptor;
import cz.cvut.kbss.ontodriver.model.Assertion;
import cz.cvut.kbss.ontodriver.model.NamedResource;
import cz.cvut.kbss.ontodriver.model.Value;
import cz.cvut.kbss.ontodriver.sesame.connector.Connector;
import cz.cvut.kbss.ontodriver.sesame.exceptions.SesameDriverException;
import cz.cvut.kbss.ontodriver.sesame.util.SesameUtils;
import org.eclipse.rdf4j.model.IRI;
import org.eclipse.rdf4j.model.Resource;
import org.eclipse.rdf4j.model.Statement;
import org.eclipse.rdf4j.model.ValueFactory;
import java.util.*;
/**
* This class performs an epistemic remove of axioms described by the axiom descriptor.
* <p/>
* Epistemic remove means that only information known to the application is
* deleted. The assertions in the descriptor represent this information. Thus,
* only these assertions are removed from the ontology. Note that if the
* descriptor contains an unspecified property assertion, all property
* assertions related to the subject individual are removed from the property's
* context.
*/
class EpistemicAxiomRemover {
private final Connector connector;
private final ValueFactory valueFactory;
EpistemicAxiomRemover(Connector connector, ValueFactory valueFactory) {
this.connector = connector;
this.valueFactory = valueFactory;
}
void remove(AxiomDescriptor axiomDescriptor) throws SesameDriverException {
final Resource individual = SesameUtils.toSesameIri(axiomDescriptor.getSubject().getIdentifier(), valueFactory);
final Collection<Statement> toRemove = new HashSet<>();
for (Assertion a : axiomDescriptor.getAssertions()) {
if (a.isInferred()) {
continue;
}
final IRI contextUri = SesameUtils.toSesameIri(axiomDescriptor.getAssertionContext(a), valueFactory);
toRemove.addAll(connector.findStatements(individual,
SesameUtils.toSesameIri(a.getIdentifier(), valueFactory), null, a.isInferred(), contextUri));
}
connector.removeStatements(toRemove);
}
void remove(NamedResource individual, Map<Assertion, Set<Value<?>>> values, java.net.URI context)
throws SesameDriverException {
final IRI sesameContext = SesameUtils.toSesameIri(context, valueFactory);
final Resource subject = SesameUtils.toSesameIri(individual.getIdentifier(), valueFactory);
final Collection<Statement> toRemove = new ArrayList<>();
final SesameValueConverter valueConverter = new SesameValueConverter(valueFactory);
for (Map.Entry<Assertion, Set<Value<?>>> entry : values.entrySet()) {
final IRI property = SesameUtils.toSesameIri(entry.getKey().getIdentifier(), valueFactory);
for (Value<?> val : entry.getValue()) {
final org.eclipse.rdf4j.model.Value sesameValue = valueConverter.toSesameValue(entry.getKey(), val);
if (sesameContext != null) {
toRemove.add(valueFactory.createStatement(subject, property, sesameValue, sesameContext));
} else {
toRemove.add(valueFactory.createStatement(subject, property, sesameValue));
}
}
}
connector.removeStatements(toRemove);
}
}