From 3d1c8553f61747b54a8304a39f401f9b77f8cf57 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Sat, 1 Aug 2015 18:53:23 +0100 Subject: Option for SkolemUpperBound application and for skolemisation depth (from file pagoda.properties). --- test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java') 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 0ce3d69..a7a562d 100644 --- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java +++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java @@ -3,6 +3,7 @@ package uk.ac.ox.cs.pagoda.global_tests; import org.testng.annotations.Test; import uk.ac.ox.cs.pagoda.Pagoda; import uk.ac.ox.cs.pagoda.query.CheckAnswers; +import uk.ac.ox.cs.pagoda.util.PagodaProperties; import uk.ac.ox.cs.pagoda.util.TestUtil; import uk.ac.ox.cs.pagoda.util.Timer; @@ -61,7 +62,7 @@ public class TestPagodaFLY { // .answer(Paths.get("/home/alessandro/Desktop/answers.json")) .classify(false) .hermit(true) - .skolem(true) + .skolem(PagodaProperties.SkolemUpperBoundOptions.AFTER_SUMMARISATION) .build() .run(); } @@ -76,7 +77,7 @@ public class TestPagodaFLY { .query(Paths.get(ontoDir, "fly/queries/new_queries.sparql")) .classify(false) .hermit(true) - .skolem(true) // <----<< Skolem upper bound is ENABLED <<< + .skolem(PagodaProperties.SkolemUpperBoundOptions.AFTER_SUMMARISATION) // <----<< Skolem upper bound is ENABLED <<< .build() .run(); double t1 = timer.duration(); @@ -88,7 +89,7 @@ public class TestPagodaFLY { .query(Paths.get(ontoDir, "fly/queries/new_queries.sparql")) .classify(false) .hermit(true) - .skolem(false) // <----<< Skolem upper bound is DISABLED <<< + .skolem(PagodaProperties.SkolemUpperBoundOptions.DISABLED) // <----<< Skolem upper bound is DISABLED <<< .build() .run(); double t2 = timer.duration(); -- cgit v1.2.3