Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLOntologyManager

313
314
315
316
317
318
319
320
321
322
323
324
325
    @Test
    public void testReflexiveObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLReflexiveObjectPropertyAxiom ax = ReflexiveObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getReflexiveObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isReflexive(propP, ont));
    }
View Full Code Here
326
327
328
329
330
331
332
333
334
335
336
337
338
    @Test
    public void testIrreflexiveObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLIrreflexiveObjectPropertyAxiom ax = IrreflexiveObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getIrreflexiveObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isIrreflexive(propP, ont));
    }
View Full Code Here
340
341
342
343
344
345
346
347
348
349
350
351
352
    @Test
    public void testSubDataPropertyOfAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDataProperty propQ = DataProperty(iri("q"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLSubDataPropertyOfAxiom ax = SubDataPropertyOf(propP, propQ);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDataSubPropertyAxiomsForSubProperty(propP).contains(
                ax));
        assertTrue(ont.getDataSubPropertyAxiomsForSuperProperty(propQ)
                .contains(ax));
View Full Code Here
357
358
359
360
361
362
363
364
365
366
367
368
369
370
    public void testEquivalentDataPropertiesAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDataProperty propQ = DataProperty(iri("q"));
        OWLDataProperty propR = DataProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLEquivalentDataPropertiesAxiom ax = EquivalentDataProperties(propP,
                propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getEquivalentDataPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getEquivalentDataPropertiesAxioms(propQ).contains(ax));
        assertTrue(ont.getEquivalentDataPropertiesAxioms(propR).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
View Full Code Here
376
377
378
379
380
381
382
383
384
385
386
387
388
389
    public void testDisjointDataPropertiesAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDataProperty propQ = DataProperty(iri("q"));
        OWLDataProperty propR = DataProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDisjointDataPropertiesAxiom ax = DisjointDataProperties(propP,
                propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDisjointDataPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getDisjointDataPropertiesAxioms(propQ).contains(ax));
        assertTrue(ont.getDisjointDataPropertiesAxioms(propR).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
View Full Code Here
394
395
396
397
398
399
400
401
402
403
404
405
406
    @Test
    public void testDataPropertyDomainAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLClass clsA = Class(iri("ClsA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDataPropertyDomainAxiom ax = DataPropertyDomain(propP, clsA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDataPropertyDomainAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(domain(ont.getDataPropertyDomainAxioms(propP))
                .contains(clsA));
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
420
421
    @Test
    public void testDataPropertyRangeAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDatatype dt = Datatype(iri("dt"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(propP, dt);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDataPropertyRangeAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(range(ont.getDataPropertyRangeAxioms(propP)).contains(dt));
    }
View Full Code Here
422
423
424
425
426
427
428
429
430
431
432
433
434
    @Test
    public void testFunctionalDataPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLFunctionalDataPropertyAxiom ax = FunctionalDataProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getFunctionalDataPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isFunctional(propP, ont));
    }
View Full Code Here
436
437
438
439
440
441
442
443
444
445
446
447
448
    @Test
    public void testClassAssertionAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLClass clsA = Class(iri("clsA"));
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLClassAssertionAxiom ax = ClassAssertion(clsA, indA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getClassAssertionAxioms(indA).contains(ax));
        assertTrue(ont.getClassAssertionAxioms(clsA).contains(ax));
        assertTrue(ont.getAxioms(indA, EXCLUDED).contains(ax));
        assertTrue(instances(ont.getClassAssertionAxioms(indA)).contains(indA));
View Full Code Here
453
454
455
456
457
458
459
460
461
462
463
464
465
    public void testObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLNamedIndividual indB = NamedIndividual(iri("indB"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLObjectPropertyAssertionAxiom ax = ObjectPropertyAssertion(prop,
                indA, indB);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getObjectPropertyAssertionAxioms(indA).contains(ax));
        assertTrue(ont.getAxioms(indA, EXCLUDED).contains(ax));
    }
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.