Examples of org.semanticweb.owlapi.model.OWLIndividualAxiom

org.semanticweb.owlapi.model.OWLIndividualAxiom
@author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    //
    // Individual Axioms
    //
    // /////////////////////////////////////////////////////////////////////////////////////////////////////////
    final public OWLIndividualAxiom IndividualAxiom() throws ParseException {
        OWLIndividualAxiom ax;
        switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
            case SAMEINDIVIDUAL: {
                ax = SameIndividuals();
                break;
            }

View Full Code Here

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

View Full Code Here

    @Test
    public void testEqualsNegativeNotDataRel() {
        // Different subject
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .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));
        // Different object
        OWLIndividualAxiom axiomE = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, Literal());
        OWLIndividualAxiom axiomF = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, Literal());
        assertFalse(axiomE.equals(axiomF));
    }

View Full Code Here

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

View Full Code Here

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

View Full Code Here

    @Test
    public void testEqualsNegativeDataRel() {
        // Different subject
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject.getOWLDataPropertyAssertionAxiom(
                p, I(), o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLDataPropertyAssertionAxiom(DP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLDataPropertyAssertionAxiom(DP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
        // Different object
        OWLIndividualAxiom axiomE = testSubject
                .getOWLDataPropertyAssertionAxiom(p, s, Literal());
        OWLIndividualAxiom axiomF = testSubject
                .getOWLDataPropertyAssertionAxiom(p, s, Literal());
        assertFalse(axiomE.equals(axiomF));
    }

View Full Code Here

    @Test
    public void testHashCodeDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
        assertEquals(axA.hashCode(), axB.hashCode());
    }

View Full Code Here

    @Test
    public void testEqualsPositiveNotObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA, axB);
    }

View Full Code Here

    @Test
    public void testEqualsNegativeNotObjectRel() {
        // Different subject
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
        // Different object
        OWLIndividualAxiom axiomE = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, I());
        OWLIndividualAxiom axiomF = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, I());
        assertFalse(axiomE.equals(axiomF));
    }

View Full Code Here

    @Test
    public void testHashCodeNotObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA.hashCode(), axB.hashCode());
    }

View Full Code Here

0 1

TOP

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

org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser

org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase

org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParser

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.