Package org.semanticweb.owlapi.model

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
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
43
44
45
46
47
48
49
    }

    @Nonnull
    @Override
    public RemoveAxiom createOntologyChange(@Nonnull OWLOntology ontology) {
        return new RemoveAxiom(ontology, getAxiom());
    }
View Full Code Here
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
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
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
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
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
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
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
TOP

Related Classes of org.semanticweb.owlapi.model.RemoveAxiom

  • com.clarkparsia.modularity.OntologyDiff
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
  • com.clarkparsia.owlapi.explanation.util.OntologyUtils
  • com.clarkparsia.owlapiv3.OntologyUtils
  • com.clarkparsia.pellet.test.owlapi.AbstractOWLAPITests
  • com.clarkparsia.pellint.model.LintFixer
  • edu.stanford.bmir.protege.web.server.mansyntax.OntologyAxiomPairChangeGenerator
  • org.coode.owlapi.rdfxml.parser.TypeAxiomHandler
  • org.mindswap.pellet.examples.IncrementalClassifierExample
    • Copyright © 2018 www.massapicom. 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.