Method: SubjectClassAssertionRemove(OWLNamedIndividual)

1: /*
2: * JOPA
3: * Copyright (C) 2024 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.ontodriver.owlapi.change;
19:
20: import org.semanticweb.owlapi.model.AxiomType;
21: import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
22: import org.semanticweb.owlapi.model.OWLNamedIndividual;
23: import org.semanticweb.owlapi.model.OWLOntology;
24: import org.semanticweb.owlapi.model.OWLOntologyChange;
25: import org.semanticweb.owlapi.model.RemoveAxiom;
26: import org.semanticweb.owlapi.search.EntitySearcher;
27:
28: import java.util.List;
29: import java.util.stream.Collectors;
30:
31: public class SubjectClassAssertionRemove implements TransactionalChange {
32:
33: private final OWLNamedIndividual subject;
34:
35: public SubjectClassAssertionRemove(OWLNamedIndividual subject) {
36: this.subject = subject;
37: }
38:
39: @Override
40: public List<OWLOntologyChange> toOwlChanges(OWLOntology targetOntology) {
41: return EntitySearcher.getTypes(subject, targetOntology).map(cls -> new RemoveAxiom(targetOntology,
42: targetOntology.getOWLOntologyManager().getOWLDataFactory().getOWLClassAssertionAxiom(cls, subject)))
43: .collect(Collectors.toList());
44: }
45:
46: @Override
47: public boolean overrides(TransactionalChange existing) {
48: if (existing instanceof MutableAddAxiom) {
49: final MutableAddAxiom ax = (MutableAddAxiom) existing;
50: return ax.getAxiom()
51: .isOfType(AxiomType.CLASS_ASSERTION) && subject.equals(((OWLClassAssertionAxiom) ax.getAxiom()).getIndividual());
52: }
53: return false;
54: }
55: }