1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
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;
import java.io.File;
import java.io.IOException;
import java.nio.file.Path;
import java.nio.file.Paths;
public class TestPagodaFLY {
// @Test(groups = {"light"})
public void answersCorrectness_withGJFC() throws IOException {
String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath());
new File(answers.toString()).deleteOnExit();
Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-fly-with-GJ-FC-individuals.json");
Pagoda pagoda = Pagoda.builder()
.ontology(Paths.get(ontoDir, "fly/fly_anatomy_XP_with_GJ_FC_individuals.owl"))
.query(Paths.get(ontoDir, "fly/queries/fly.sparql"))
.answer(answers)
.classify(false)
.build();
pagoda.run();
CheckAnswers.assertSameAnswers(answers, givenAnswers);
}
@Test(groups = {"light", "correctness"})
public void answersCorrectness_rolledUp() throws IOException {
String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath());
new File(answers.toString()).deleteOnExit();
Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-fly-rolledup.json");
Pagoda pagoda = Pagoda.builder()
.ontology(Paths.get(ontoDir, "fly/fly_rolledUp.owl"))
.query(Paths.get(ontoDir, "fly/queries/fly_rolledUp.sparql"))
.answer(answers)
// .answer(Paths.get("/home/alessandro/Desktop/answers.json"))
.classify(false)
.build();
pagoda.run();
CheckAnswers.assertSameAnswers(answers, givenAnswers);
}
@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/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();
}
@Test(groups = {"comparison"})
public void compare_newQueries() throws IOException {
String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
Timer timer = new Timer();
Pagoda.builder()
.ontology(Paths.get(ontoDir, "fly/fly_rolledUp.owl"))
.query(Paths.get(ontoDir, "fly/queries/new_queries.sparql"))
.classify(false)
.hermit(true)
.skolem(PagodaProperties.SkolemUpperBoundOptions.AFTER_SUMMARISATION) // <----<< Skolem upper bound is ENABLED <<<
.build()
.run();
double t1 = timer.duration();
timer.reset();
Pagoda.builder()
.ontology(Paths.get(ontoDir, "fly/fly_rolledUp.owl"))
.query(Paths.get(ontoDir, "fly/queries/new_queries.sparql"))
.classify(false)
.hermit(true)
.skolem(PagodaProperties.SkolemUpperBoundOptions.DISABLED) // <----<< Skolem upper bound is DISABLED <<<
.build()
.run();
double t2 = timer.duration();
if(t1 < t2)
TestUtil.logInfo(
"Overall reasoning with Skolem upper bound was " + (int) (t2 / t1 * 100 - 100) + "x faster!");
else
TestUtil.logInfo(
"Overall reasoning with Skolem upper bound was " + (int) (t1 / t2 * 100 - 100) + "x slower...");
}
}
|