Skip to content

Commit

Permalink
Change test case to use p.getInverseProperty() method to get an inver…
Browse files Browse the repository at this point in the history
…se, rather than calling the data factory constructor method.

In the old code, the data factory method would be called by this anyway.
  • Loading branch information
sesuncedu committed Aug 16, 2015
1 parent b4ade00 commit bceed53
Showing 1 changed file with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -38,26 +38,26 @@ public void testNamedSimplification() {
@Test
public void testInverseSimplification() {
OWLObjectProperty p = ObjectProperty(IRI("p"));
OWLObjectPropertyExpression inv = ObjectInverseOf(p);
OWLObjectPropertyExpression inv = p.getInverseProperty();
OWLObjectPropertyExpression exp = inv.getSimplified();
assertEquals(inv, exp);
}

@Test
public void testInverseInverseSimplification() {
OWLObjectProperty p = ObjectProperty(IRI("p"));
OWLObjectPropertyExpression inv = ObjectInverseOf(p);
OWLObjectPropertyExpression inv2 = ObjectInverseOf(inv);
OWLObjectPropertyExpression inv = p.getInverseProperty();
OWLObjectPropertyExpression inv2 = inv.getInverseProperty();
OWLObjectPropertyExpression exp = inv2.getSimplified();
assertEquals(p, exp);
}

@Test
public void testInverseInverseInverseSimplification() {
OWLObjectProperty p = ObjectProperty(IRI("p"));
OWLObjectPropertyExpression inv = ObjectInverseOf(p);
OWLObjectPropertyExpression inv2 = ObjectInverseOf(inv);
OWLObjectPropertyExpression inv3 = ObjectInverseOf(inv2);
OWLObjectPropertyExpression inv = p.getInverseProperty();
OWLObjectPropertyExpression inv2 = inv.getInverseProperty();
OWLObjectPropertyExpression inv3 = inv2.getInverseProperty();
OWLObjectPropertyExpression exp = inv3.getSimplified();
assertEquals(inv, exp);
}
Expand Down

0 comments on commit bceed53

Please sign in to comment.