Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.AddAxiom

381
382
383
384
385
386
387
388
389
390
            owlOntologyManager.removeOntology(verifyNotNull(debuggingOntology));
        }
        debuggingOntology = owlOntologyManager.createOntology();
        List<AddAxiom> changes = new ArrayList<>();
        for (OWLAxiom ax : new ArrayList<>(debuggingAxioms)) {
            changes.add(new AddAxiom(verifyNotNull(debuggingOntology),
                    verifyNotNull(ax)));
        }
        owlOntologyManager.applyChanges(changes);
    }
View Full Code Here
303
304
305
306
307
308
309
        IRI subject = getIRIFromOBOId(id);
        OWLAnnotationProperty annotationProperty = getDataFactory()
                .getOWLAnnotationProperty(getIRIFromOBOId(uriID));
        OWLAxiom ax = getDataFactory().getOWLAnnotationAssertionAxiom(
                annotationProperty, subject, value);
        applyChange(new AddAxiom(getOntology(), ax));
    }
View Full Code Here
323
324
325
326
327
328
329
        OWLAnnotationProperty property = getDataFactory()
                .getOWLAnnotationProperty(annotationPropertyIRI);
        IRI object = getIRIFromOBOId(value);
        OWLAnnotationAssertionAxiom ax = getDataFactory()
                .getOWLAnnotationAssertionAxiom(property, subject, object);
        applyChange(new AddAxiom(getOntology(), ax));
    }
View Full Code Here
108
109
110
111
112
113
114
115
116
            @Nonnull OWLOntologyManager manager) {
        for (OWLOntology ont : checkNotNull(ontologies,
                "ontologies cannot be null")) {
            assert ont != null;
            checkNotNull(manager, "manager cannot be null").applyChange(
                    new AddAxiom(ont, checkNotNull(axiom,
                            "axiom cannot be null")));
        }
    }
View Full Code Here
340
341
342
343
344
345
346
347
348
349
350
            String comment) {
        if (Boolean.parseBoolean(value)) {
            OWLObjectProperty prop = getOWLObjectProperty(currentId);
            OWLAxiom ax = getDataFactory().getOWLAsymmetricObjectPropertyAxiom(
                    prop);
            applyChange(new AddAxiom(getOntology(), ax));
        } else {
            addAnnotation(currentId, OBOVocabulary.IS_ASYMMETRIC.getName(),
                    getBooleanConstant(false));
        }
    }
View Full Code Here
98
99
100
101
102
103
104
105
        }
        OWLClassExpression closureAxiomFiller = getDataFactory()
                .getOWLObjectUnionOf(fillers);
        OWLClassExpression closureAxiomDesc = getDataFactory()
                .getOWLObjectAllValuesFrom(property, closureAxiomFiller);
        addChange(new AddAxiom(targetOntology, getDataFactory()
                .getOWLSubClassOfAxiom(cls, closureAxiomDesc)));
    }
View Full Code Here
83
84
85
86
87
88
89
90
                getExpression(), annotation);
    }

    @Override
    public List<OWLOntologyChange> repair() {
        return list(new AddAxiom(ontology,
                df.getOWLDeclarationAxiom(getExpression())));
    }
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
                    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
166
167
168
169
170
171
172
173
174
175
176
            assert ont != null;
            for (OWLDataPropertyAssertionAxiom ax : ont
                    .getDataPropertyAssertionAxioms(ind)) {
                if (!ax.getProperty().isAnonymous()) {
                    addChange(new RemoveAxiom(ont, ax));
                    addChange(new AddAxiom(ont, convertToAnnotation(ind, ax)));
                    convertedDataProperties.add((OWLDataProperty) ax
                            .getProperty());
                }
            }
        }
View Full Code Here
66
67
68
69
70
71
72
73
74
        OWLClassExpression descB = df.getOWLObjectSomeValuesFrom(prop, clsB);
        Set<OWLClassExpression> classExpressions = new HashSet<>();
        classExpressions.add(descA);
        classExpressions.add(descB);
        OWLAxiom ax = df.getOWLDisjointClassesAxiom(classExpressions);
        m.applyChange(new AddAxiom(ontA, ax));
        OWLOntology ontB = roundTrip(ontA, new RDFXMLDocumentFormat());
        assertTrue(ontB.getAxioms().contains(ax));
    }
View Full Code Here
TOP

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

  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.modularity.OntologyDiff
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
  • com.clarkparsia.owlapi.explanation.BlackBoxExplanation
  • com.clarkparsia.owlapi.explanation.util.OntologyUtils
  • com.clarkparsia.owlapiv3.OntologyUtils
  • com.clarkparsia.pellet.test.owlapi.AbstractOWLAPITests
  • com.clarkparsia.pellint.model.LintFixer
  • de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
    • 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.