Examples of RemoveAxiom

Examples of org.semanticweb.owlapi.model.RemoveAxiom

573
574
575
576
577
578
579
580
581
    public List<OWLOntologyChange> removeAxioms(@Nonnull OWLOntology ont,
            @Nonnull Set<? extends OWLAxiom> axioms) {
        List<RemoveAxiom> changes = new ArrayList<>(axioms.size() + 2);
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            changes.add(new RemoveAxiom(ont, ax));
        }
        return applyChanges(changes);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

84
85
86
87
88
89
90
91
92
93
94
            assert ont != null;
            for (OWLAxiom ax : ont.getLogicalAxioms()) {
                assert ax != null;
                OWLAxiom dupAx = replacer.duplicateObject(ax);
                if (!ax.equals(dupAx)) {
                    addChange(new RemoveAxiom(ont, ax));
                    addChange(new AddAxiom(ont, dupAx));
                }
            }
        }
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

118
119
120
121
122
123
124
125
126
127
128
        for (OWLOntology o : ontologies) {
            assert o != null;
            for (OWLEquivalentClassesAxiom ax : o
                    .getEquivalentClassesAxioms(cls)) {
                assert ax != null;
                addChange(new RemoveAxiom(o, ax));
                for (OWLClassExpression equivCls : ax.getClassExpressions()) {
                    assert equivCls != null;
                    supers.addAll(getClassExpressions(equivCls));
                }
            }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

51
52
53
54
55
56
57
58
59
60
    }

    @Test
    public void testCreateOntologyChange() {
        RemoveAxiomData data = new RemoveAxiomData(mockAxiom);
        RemoveAxiom change = data.createOntologyChange(mockOntology);
        assertNotNull(change);
        assertEquals(change.getOntology(), mockOntology);
        assertEquals(change.getAxiom(), mockAxiom);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

60
61
62
63
64
65
66
67
    }

    @Test
    public void testRoundTripChange() {
        RemoveAxiomData data = new RemoveAxiomData(mockAxiom);
        RemoveAxiom change = new RemoveAxiom(mockOntology, mockAxiom);
        assertEquals(data, change.getChangeData());
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

117
118
119
120
121
122
123
124
125
126
127
            assert ont != null;
            for (OWLAxiom ax : ont.getAxioms()) {
                assert ax != null;
                OWLAxiom dupAx = dup.duplicateObject(ax);
                if (!dupAx.equals(ax)) {
                    changes.add(new RemoveAxiom(ont, ax));
                    changes.add(new AddAxiom(ont, dupAx));
                }
            }
        }
        return changes;
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

85
86
87
88
89
90
91
92
93
94
        checkNotNull(manager, "manager cannot be null");
        for (OWLOntology ont : checkNotNull(ontologies,
                "ontologies cannot be null")) {
            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

76
77
78
79
80
81
82
83
84
85
86
            assert ont != null;
            for (OWLSubClassOfAxiom ax : ont.getAxioms(AxiomType.SUBCLASS_OF)) {
                ConjunctSplitter splitter = new ConjunctSplitter();
                ax.getSuperClass().accept(splitter);
                if (splitter.result.size() > 1) {
                    addChange(new RemoveAxiom(ont, ax));
                    for (OWLClassExpression desc : splitter.result) {
                        assert desc != null;
                        OWLAxiom replAx = getDataFactory()
                                .getOWLSubClassOfAxiom(ax.getSubClass(), desc);
                        addChange(new AddAxiom(ont, replAx));
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

73
74
75
76
77
78
79
    @Override
    public List<OWLOntologyChange> repair() {
        // XXX arbitrary decision: drop the axiom
        // better fix would be to look for usage and remove the smallest number
        // of axioms
        return list(new RemoveAxiom(ontology, getAxiom()));
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.RemoveAxiom

133
134
135
136
137
138
139
140
141
142
143
144
145
    private void removeDeclarationsAndAxioms(@Nonnull OWLDataProperty prop) {
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            for (OWLAxiom ax : ont.getDeclarationAxioms(prop)) {
                assert ax != null;
                addChange(new RemoveAxiom(ont, ax));
            }
            for (OWLAxiom ax : ont.getAxioms(prop, EXCLUDED)) {
                assert ax != null;
                addChange(new RemoveAxiom(ont, ax));
            }
        }
    }
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.