Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLOntologyManager

164
165
166
167
168
169
170
171
172
173
174
175
176
    @Test
    public void testSubObjectPropertyOfAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLObjectProperty propQ = ObjectProperty(iri("q"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLSubObjectPropertyOfAxiom ax = SubObjectPropertyOf(propP, propQ);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getObjectSubPropertyAxiomsForSubProperty(propP)
                .contains(ax));
        assertTrue(ont.getObjectSubPropertyAxiomsForSuperProperty(propQ)
                .contains(ax));
View Full Code Here
181
182
183
184
185
186
187
188
189
190
191
192
193
194
    public void testEquivalentObjectPropertiesAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLObjectProperty propQ = ObjectProperty(iri("q"));
        OWLObjectProperty propR = ObjectProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLEquivalentObjectPropertiesAxiom ax = EquivalentObjectProperties(
                propP, propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getEquivalentObjectPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getEquivalentObjectPropertiesAxioms(propQ).contains(ax));
        assertTrue(ont.getEquivalentObjectPropertiesAxioms(propR).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
211
212
213
    public void testDisjointObjectPropertiesAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLObjectProperty propQ = ObjectProperty(iri("q"));
        OWLObjectProperty propR = ObjectProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDisjointObjectPropertiesAxiom ax = DisjointObjectProperties(propP,
                propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDisjointObjectPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getDisjointObjectPropertiesAxioms(propQ).contains(ax));
        assertTrue(ont.getDisjointObjectPropertiesAxioms(propR).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
230
    @Test
    public void testObjectPropertyDomainAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLClass clsA = Class(iri("ClsA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLObjectPropertyDomainAxiom ax = ObjectPropertyDomain(propP, clsA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getObjectPropertyDomainAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(domain(ont.getObjectPropertyDomainAxioms(propP)).contains(
                clsA));
View Full Code Here
233
234
235
236
237
238
239
240
241
242
243
244
245
    @Test
    public void testObjectPropertyRangeAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLClass clsA = Class(iri("ClsA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLObjectPropertyRangeAxiom ax = ObjectPropertyRange(propP, clsA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getObjectPropertyRangeAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(range(ont.getObjectPropertyRangeAxioms(propP))
                .contains(clsA));
View Full Code Here
247
248
249
250
251
252
253
254
255
256
257
258
259
    @Test
    public void testFunctionalObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLFunctionalObjectPropertyAxiom ax = FunctionalObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getFunctionalObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isFunctional(propP, ont));
    }
View Full Code Here
260
261
262
263
264
265
266
267
268
269
270
271
272
    @Test
    public void testInverseFunctionalObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLInverseFunctionalObjectPropertyAxiom ax = InverseFunctionalObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getInverseFunctionalObjectPropertyAxioms(propP)
                .contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isInverseFunctional(propP, ont));
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
285
286
    @Test
    public void testTransitiveObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLTransitiveObjectPropertyAxiom ax = TransitiveObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getTransitiveObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isTransitive(propP, ont));
    }
View Full Code Here
287
288
289
290
291
292
293
294
295
296
297
298
299
    @Test
    public void testSymmetricObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLSymmetricObjectPropertyAxiom ax = SymmetricObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getSymmetricObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isSymmetric(propP, ont));
    }
View Full Code Here
300
301
302
303
304
305
306
307
308
309
310
311
312
    @Test
    public void testAsymmetricObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLAsymmetricObjectPropertyAxiom ax = AsymmetricObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getAsymmetricObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isAsymmetric(propP, ont));
    }
View Full Code Here
TOP

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

  • com.clarkparsia.owlwg.owlapi3.testcase.impl.OwlApi3ETImpl
  • com.clarkparsia.owlwg.owlapi3.testcase.impl.OwlApi3xCTImpl
  • com.clarkparsia.pellet.owlapiv3.test.OWLWGTestCase
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OOntology
  • edu.pitt.ontology.owl.OOntology
  • edu.stanford.bmir.protege.web.server.owlapi.DeleteEntityChangeFactory
  • edu.stanford.bmir.protege.web.server.owlapi.manager.WebProtegeOWLManager
  • edu.stanford.bmir.protege.web.server.owlapi.OWLAPIProjectImporter
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
    • 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.