RDFox dependency from project repo; improved the readme.

3 files changed, 9 insertions, 5 deletions

diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml
index ec299b5..fdecc72 100644
--- a/test/resources/MainTests.xml
+++ b/test/resources/MainTests.xml
@@ -6,10 +6,11 @@
         <groups>
             <run>
                 <!--<include name="correctness"/>-->
-                <include name="light"/>
+                <!--<include name="light"/>-->
                 <!--<include name="justExecute"/>-->
-                <exclude name="heavy"/>
+                <!--<exclude name="heavy"/>-->
                 <!--<include name="nonOriginal"/>-->
+                <include name="existential"/>
             </run>
         </groups>
         <classes>
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java
index 42f0ac1..3eb956f 100644
--- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java
+++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java
@@ -51,17 +51,20 @@ public class TestPagodaFLY {
         CheckAnswers.assertSameAnswers(answers, givenAnswers);
     }
 
-    @Test(groups = {"light", "justExecute", "nonOriginal"})
+    @Test(groups = {"light", "justExecute", "nonOriginal", "existential"})
     public void justExecute_newQueries() throws IOException {
         String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
 
         Pagoda.builder()
 //                .ontology(Paths.get(ontoDir, "fly/fly_rolledUp.owl"))
                           .ontology(Paths.get(ontoDir, "fly/fly_anatomy_XP_with_GJ_FC_individuals.owl"))
-                .query(Paths.get(ontoDir, "fly/queries/new_queries.sparql"))
+//                .query(Paths.get(ontoDir, "fly/queries/fly_rolledUp.sparql"))
+//                .query(Paths.get(ontoDir, "fly/queries/new_queries.sparql"))
+                .query("/home/alessandro/Desktop/query-8.sparql")
 //                        .answer(Paths.get("/home/alessandro/Desktop/answers.json"))
                 .classify(false)
                 .hermit(true)
+                .skolemDepth(3)
                 .skolem(PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION)
                 .build()
                 .run();
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java
index 2d95e5f..019fafa 100644
--- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java
+++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java
@@ -85,7 +85,7 @@ public class TestPagodaLUBM {
         Pagoda.builder()
               .ontology(Paths.get(ontoDir, "lubm/univ-bench.owl"))
               .data(Paths.get(ontoDir, "lubm/data/lubm1.ttl"))
-              .query(Paths.get(ontoDir, "lubm/queries/queries_from_feier-et-al.sparql"))
+              .query(Paths.get(ontoDir, "lubm/queries/queries_from_rules.sparql"))
               .build()
               .run();
     }