Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClassExpression

426
427
428
429
430
431
432
433
434
435
436
437
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeDisjointClasses() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLObject objA = testSubject.getOWLDisjointClassesAxiom(a, b);
        OWLClassExpression c = C(IRI());
        OWLObject objB = testSubject.getOWLDisjointClassesAxiom(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
436
437
438
439
440
441
442
443
444
445
446
447
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeDisjointClasses() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLClassExpression c = C(IRI());
        OWLObject objA = testSubject.getOWLDisjointClassesAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLDisjointClassesAxiom(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }
View Full Code Here
453
454
455
456
457
458
459
460
461
462
463
464
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveObjectUnionOf() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLClassExpression c = C(IRI());
        OWLObject objA = testSubject.getOWLObjectUnionOf(a, b, c);
        OWLObject objB = testSubject.getOWLObjectUnionOf(a, b, c);
        assertEquals(objA, objB);
    }
View Full Code Here
463
464
465
466
467
468
469
470
471
472
473
474
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeObjectUnionOf() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLObject objA = testSubject.getOWLObjectUnionOf(a, b);
        OWLClassExpression c = C(IRI());
        OWLObject objB = testSubject.getOWLObjectUnionOf(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
473
474
475
476
477
478
479
480
481
482
483
484
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeObjectUnionOf() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLClassExpression c = C(IRI());
        OWLObject objA = testSubject.getOWLObjectUnionOf(a, b, c);
        OWLObject objB = testSubject.getOWLObjectUnionOf(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }
View Full Code Here
689
690
691
692
693
694
695
696
697
698
699
700
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveEquivalentClasses() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLClassExpression c = C(IRI());
        OWLObject objA = testSubject.getOWLEquivalentClassesAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLEquivalentClassesAxiom(a, b, c);
        assertEquals(objA, objB);
    }
View Full Code Here
699
700
701
702
703
704
705
706
707
708
709
710
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeEquivalentClasses() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLObject objA = testSubject.getOWLEquivalentClassesAxiom(a, b);
        OWLClassExpression c = C(IRI());
        OWLObject objB = testSubject.getOWLEquivalentClassesAxiom(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
709
710
711
712
713
714
715
716
717
718
719
720
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeEquivalentClasses() {
        OWLClassExpression a = C(IRI());
        OWLClassExpression b = C(IRI());
        OWLClassExpression c = C(IRI());
        OWLObject objA = testSubject.getOWLEquivalentClassesAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLEquivalentClassesAxiom(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }
View Full Code Here
719
720
721
722
723
724
725
726
727
728
        assertEquals(objA.hashCode(), objB.hashCode());
    }

    @Test
    public void testCreationObjectComplementOf() {
        OWLClassExpression operand = C(IRI());
        OWLObjectComplementOf not = testSubject
                .getOWLObjectComplementOf(operand);
        assertNotNull(not);
    }
View Full Code Here
727
728
729
730
731
732
733
734
735
736
737
        assertNotNull(not);
    }

    @Test
    public void testEqualsPositiveObjectComplementOf() {
        OWLClassExpression operand = C(IRI());
        OWLObjectComplementOf notA = testSubject
                .getOWLObjectComplementOf(operand);
        OWLObjectComplementOf notB = testSubject
                .getOWLObjectComplementOf(operand);
        assertEquals(notA, notB);
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.explanation.test.ExplanationTester
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.PelletExplanation
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
    • 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.