Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLIndividualAxiom

2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
    @Test
    public void testEqualsPositiveObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA, axB);
    }
View Full Code Here
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
    @Test
    public void testEqualsNegativeObjectRel() {
        // Different subject
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
        // Different object
        OWLIndividualAxiom axiomE = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, I());
        OWLIndividualAxiom axiomF = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, I());
        assertFalse(axiomE.equals(axiomF));
    }
View Full Code Here
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
    @Test
    public void testHashCodeObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA.hashCode(), axB.hashCode());
    }
View Full Code Here
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
//
// Individual Axioms
//
///////////////////////////////////////////////////////////////////////////////////////////////////////////
  final public OWLIndividualAxiom IndividualAxiom() throws ParseException {
    OWLIndividualAxiom ax;
    if (jj_2_85(2)) {
      ax = SameIndividuals();
    } else if (jj_2_86(2)) {
      ax = DifferentIndividuals();
    } else if (jj_2_87(2)) {
View Full Code Here
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
    • 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.