Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectProperty


        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeDisjointObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObject objA = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b);
        OWLObjectProperty c = OP(IRI());
        OWLObject objB = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b,
                c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here


        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeDisjointObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObjectProperty c = OP(IRI());
        OWLObject objA = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b,
                c);
        OWLObject objB = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b,
                c);
        assertEquals(objA.hashCode(), objB.hashCode());
View Full Code Here

        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveEquivalentObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObjectProperty c = OP(IRI());
        OWLObject objA = testSubject.getOWLEquivalentObjectPropertiesAxiom(a,
                b, c);
        OWLObject objB = testSubject.getOWLEquivalentObjectPropertiesAxiom(a,
                b, c);
        assertEquals(objA, objB);
View Full Code Here

        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeEquivalentObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObject objA = testSubject
                .getOWLEquivalentObjectPropertiesAxiom(a, b);
        OWLObjectProperty c = OP(IRI());
        OWLObject objB = testSubject.getOWLEquivalentObjectPropertiesAxiom(a,
                b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here

        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeEquivalentObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObjectProperty c = OP(IRI());
        OWLObject objA = testSubject.getOWLEquivalentObjectPropertiesAxiom(a,
                b, c);
        OWLObject objB = testSubject.getOWLEquivalentObjectPropertiesAxiom(a,
                b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
View Full Code Here

        assertEquals(objA.hashCode(), objB.hashCode());
    }

    @Test
    public void testCreationObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        assertNotNull(restA);
    }
View Full Code Here

        assertNotNull(restA);
    }

    @Test
    public void testEqualsPositiveObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        OWLObjectHasSelf restB = testSubject.getOWLObjectHasSelf(prop);
        assertEquals(restA, restB);
    }
View Full Code Here

        assertFalse(restA.equals(restB));
    }

    @Test
    public void testHashCodeObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        OWLObjectHasSelf restB = testSubject.getOWLObjectHasSelf(prop);
        assertEquals(restA.hashCode(), restB.hashCode());
    }
View Full Code Here

        assertEquals(hashCodeA, hashCodeB);
    }

    @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

    }

    @Test
    public void testEqualsNegativeObjectHas() {
        // Different filler
        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();
View Full Code Here

TOP

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

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.