Examples of OWLPropertyAxiom

org.semanticweb.owlapi.model.OWLPropertyAxiom
The base interface for property axioms. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    //
    // Object Property Axioms
    //
    // /////////////////////////////////////////////////////////////////////////////////////////////////////////
    final public OWLPropertyAxiom ObjectPropertyAxiom() throws ParseException {
        OWLPropertyAxiom ax;
        switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
            case SUBOBJECTPROPERTYOF: {
                ax = SubObjectPropertyOf();
                break;
            }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    //
    // Data Property Axioms
    //
    // /////////////////////////////////////////////////////////////////////////////////////////////////////////
    final public OWLPropertyAxiom DataPropertyAxiom() throws ParseException {
        OWLPropertyAxiom ax;
        switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
            case SUBDATAPROPERTYOF: {
                ax = SubDataPropertyOf();
                break;
            }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

        assertEquals(restA.hashCode(), restB.hashCode());
    }


    @Test
    public void testCreationObjectAsymmetric() {
        OWLPropertyAxiom axiom = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(OP(IRI()));
        assertNotNull(axiom);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    }


    @Test
    public void testEqualsPositiveObjectAsymmetric() {
        OWLObjectProperty prop = OP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(prop);
        assertEquals(axA, axB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

        assertEquals(axA, axB);
    }


    @Test
    public void testEqualsNegativeObjectAsymmetric() {
        OWLPropertyAxiom axA = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(OP(IRI()));
        OWLPropertyAxiom axB = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(OP(IRI()));
        assertFalse(axA.equals(axB));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    }


    @Test
    public void testHashCodeObjectAsymmetric() {
        OWLObjectProperty prop = OP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLAsymmetricObjectPropertyAxiom(prop);
        assertEquals(axA.hashCode(), axB.hashCode());
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

        assertEquals(axA.hashCode(), axB.hashCode());
    }


    @Test
    public void testCreationObjectInverseFunctional() {
        OWLPropertyAxiom axiom = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(OP(IRI()));
        assertNotNull(axiom);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    }


    @Test
    public void testEqualsPositiveObjectInverseFunctional() {
        OWLObjectProperty prop = OP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(prop);
        assertEquals(axA, axB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

        assertEquals(axA, axB);
    }


    @Test
    public void testEqualsNegativeObjectInverseFunctional() {
        OWLPropertyAxiom axA = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(OP(IRI()));
        OWLPropertyAxiom axB = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(OP(IRI()));
        assertFalse(axA.equals(axB));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLPropertyAxiom

    }


    @Test
    public void testHashCodeObjectInverseFunctional() {
        OWLObjectProperty prop = OP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLInverseFunctionalObjectPropertyAxiom(prop);
        assertEquals(axA.hashCode(), axB.hashCode());
    }

View Full Code Here

0 1 2 3

TOP

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.