Examples of RemoveAxiom

Examples of org.semanticweb.owl.model.RemoveAxiom

195
196
197
198
199
200
201
202
203
204
      throws OWLException {
    List<OWLOntologyChange> changes = new ArrayList<OWLOntologyChange>();
    for( OWLAxiom axiom : axioms ) {
      OWLOntologyChange change = add
        ? new AddAxiom( ontology, axiom )
        : new RemoveAxiom( ontology, axiom );
      changes.add( change );
    }
    manager.applyChanges( changes );
  }
View Full Code Here

Examples of org.semanticweb.owl.model.RemoveAxiom

247
248
249
250
251
252
253
254
255
256
257
    for( OWLOntology ont : ontologies ) {
      if( ont.getAxioms().contains( axiom ) ) {
        modifiedOnts.add( ont );

        manager.applyChange( new RemoveAxiom( ont, axiom ) );
      }
    }

    return modifiedOnts;
  }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

61
62
63
64
65
66
67
68
69
70
71
                        .getSubClassAxiomsForSubClass(cls);
                if (axioms.size() > 1) {
                    Set<OWLClassExpression> superClasses = new HashSet<>();
                    for (OWLSubClassOfAxiom ax : axioms) {
                        assert ax != null;
                        addChange(new RemoveAxiom(ont, ax));
                        superClasses.add(ax.getSuperClass());
                    }
                    OWLClassExpression combinedSuperClass = getDataFactory()
                            .getOWLObjectIntersectionOf(superClasses);
                    addChange(new AddAxiom(ont, getDataFactory()
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

104
105
106
107
108
109
110
111
112
113
114
        Set<OWLClassExpression> descs = new HashSet<>();
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            for (OWLSubClassOfAxiom ax : ont.getSubClassAxiomsForSubClass(cls)) {
                assert ax != null;
                addChange(new RemoveAxiom(ont, ax));
                descs.add(ax.getSuperClass());
            }
        }
        OWLClassExpression equivalentClass = getDataFactory()
                .getOWLObjectIntersectionOf(descs);
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

43
44
45
46
47
48
49
    }

    @Nonnull
    @Override
    public RemoveAxiom createOntologyChange(@Nonnull OWLOntology ontology) {
        return new RemoveAxiom(ontology, getAxiom());
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

53
54
55
56
57
58
59
60
61
    private void generateChanges(@Nonnull Set<OWLOntology> ontologies) {
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            for (OWLClassAxiom ax : ont.getAxioms(AxiomType.DISJOINT_CLASSES)) {
                assert ax != null;
                addChange(new RemoveAxiom(ont, ax));
            }
        }
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

140
141
142
143
144
145
146
147
148
149
150
151
                            processed.add(ent);
                            add(ent);
                        }
                    }
                } else if (chg.isRemoveAxiom()) {
                    RemoveAxiom remAx = (RemoveAxiom) chg;
                    for (OWLEntity ent : remAx.getSignature()) {
                        assert ent != null;
                        if (!processed.contains(ent)) {
                            processed.add(ent);
                            boolean stillRef = false;
                            for (OWLOntology ont : ontologies) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

87
88
89
90
91
92
93
94
95
96
97
98
99
100
        checkNotNull(entity, "entity cannot be null");
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            for (OWLAxiom ax : ont.getReferencingAxioms(entity, EXCLUDED)) {
                assert ax != null;
                changes.add(new RemoveAxiom(ont, ax));
            }
            for (OWLAnnotationAssertionAxiom ax : ont
                    .getAnnotationAssertionAxioms(entity.getIRI())) {
                assert ax != null;
                changes.add(new RemoveAxiom(ont, ax));
            }
        }
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

275
276
277
278
279
280
281
282
        // add the axiom to the ontology.
        AddAxiom addAxiom = new AddAxiom(o, axiom);
        // We now use the manager to apply the change
        m.applyChange(addAxiom);
        // remove the axiom from the ontology
        RemoveAxiom removeAxiom = new RemoveAxiom(o, axiom);
        m.applyChange(removeAxiom);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

179
180
181
182
183
184
185
186
187
188
    private static void fillListWithTransformChanges(
            List<OWLOntologyChange> changes, Set<OWLAxiom> axioms,
            @Nonnull OWLOntology ont, OWLObjectDuplicator duplicator) {
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            changes.add(new RemoveAxiom(ont, ax));
            OWLAxiom dupAx = duplicator.duplicateObject(ax);
            changes.add(new AddAxiom(ont, dupAx));
        }
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.