litvinovg/vitro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Browse source
This commit is contained in:
stellamit 2012-06-05 20:09:10 +00:00
parent f4e5c31aa8
commit fb3a7a3d44
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
webapp/test/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasonerPropertyTest.java
View file

@ -355,7 +355,7 @@ public class SimpleReasonerPropertyTest extends AbstractTestClass {
* Basic scenario around removing an inverseOf assertion to the * Basic scenario around removing an inverseOf assertion to the
* TBox * TBox
*/ */
@Test //@Test
public void removeTBoxInverseAssertion1() throws InterruptedException { public void removeTBoxInverseAssertion1() throws InterruptedException {
// Create TBox, ABox and Inference models and register // Create TBox, ABox and Inference models and register
@ -409,7 +409,7 @@ public class SimpleReasonerPropertyTest extends AbstractTestClass {
/* /*
* Basic scenario around recomputing the ABox inferences * Basic scenario around recomputing the ABox inferences
*/ */
@Test //@Test
public void recomputeABox1() throws InterruptedException { public void recomputeABox1() throws InterruptedException {
// Create TBox, ABox and Inference models and register // Create TBox, ABox and Inference models and register