Examples of org.semanticweb.owlapi.model.OWLIndividual

org.semanticweb.owlapi.model.OWLIndividual
Represents a named or anonymous individual. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

        assertFalse(objA.equals(objB));
    }


    @Test
    public void testHashCodeAxiomDifferentFrom() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLDifferentIndividualsAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLDifferentIndividualsAxiom(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }

View Full Code Here

        assertNotNull(obj);
    }


    @Test
    public void testEqualsPositiveObjectOneOf() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLObjectOneOf(a, b, c);
        OWLObject objB = testSubject.getOWLObjectOneOf(a, b, c);
        assertEquals(objA, objB);
    }

View Full Code Here

        assertEquals(objA, objB);
    }


    @Test
    public void testEqualsNegativeObjectOneOf() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLObject objA = testSubject.getOWLObjectOneOf(a, b);
        OWLIndividual c = I();
        OWLObject objB = testSubject.getOWLObjectOneOf(a, b, c);
        assertFalse(objA.equals(objB));
    }

View Full Code Here

        assertFalse(objA.equals(objB));
    }


    @Test
    public void testHashCodeObjectOneOf() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLObjectOneOf(a, b, c);
        OWLObject objB = testSubject.getOWLObjectOneOf(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }

View Full Code Here

    }


    @Test
    public void testEqualsPositiveObjectHas() {
        OWLObjectProperty prop = OP(IRI());
        OWLIndividual filler = I();
        OWLRestriction restA = testSubject.getOWLObjectHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLObjectHasValue(prop, filler);
        assertEquals(restA, restB);
    }

View Full Code Here

        OWLObjectProperty prop = OP(IRI());
        OWLRestriction restA = testSubject.getOWLObjectHasValue(prop, I());
        OWLRestriction restB = testSubject.getOWLObjectHasValue(prop, I());
        assertFalse(restA.equals(restB));
        // Different property
        OWLIndividual filler = I();
        OWLRestriction restC = testSubject.getOWLObjectHasValue(OP(IRI()),
                filler);
        OWLRestriction restD = testSubject.getOWLObjectHasValue(OP(IRI()),
                filler);
        assertFalse(restC.equals(restD));

View Full Code Here

    }


    @Test
    public void testHashCodeObjectHas() {
        OWLObjectProperty prop = OP(IRI());
        OWLIndividual filler = I();
        OWLRestriction restA = testSubject.getOWLObjectHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLObjectHasValue(prop, filler);
        assertEquals(restA.hashCode(), restB.hashCode());
    }

View Full Code Here

                DP(IRI()), I(), Literal()));
    }


    @Test
    public void testEqualsPositiveNotDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject

View Full Code Here

                .getOWLNegativeDataPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(DP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(DP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));

View Full Code Here

        assertFalse(axiomE.equals(axiomF));
    }


    @Test
    public void testHashCodeNotDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

com.clarkparsia.explanation.test.MiscExplanationTests

com.clarkparsia.modularity.EntailmentChecker

com.clarkparsia.modularity.io.TaxonomyPersistence

com.clarkparsia.owlapi.explanation.AxiomConverter

com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter

com.clarkparsia.owlwg.testrun.TestRunResultAdapter

com.clarkparsia.pellet.owlapiv3.AxiomConverter

com.clarkparsia.pellet.owlapiv3.ConceptConverter

com.clarkparsia.pellet.owlapiv3.EntailmentChecker

com.clarkparsia.pellet.owlapiv3.Reasoner

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.