diff options
Diffstat (limited to 'src/test/java/uk/ac/ox/cs/pagoda')
| -rw-r--r-- | src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java b/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java index 60c8ed4..f91251d 100644 --- a/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java +++ b/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java | |||
| @@ -6,6 +6,7 @@ import java.io.FileOutputStream; | |||
| 6 | import java.io.IOException; | 6 | import java.io.IOException; |
| 7 | import java.util.Scanner; | 7 | import java.util.Scanner; |
| 8 | 8 | ||
| 9 | import org.semanticweb.HermiT.Configuration; | ||
| 9 | import org.semanticweb.HermiT.Reasoner; | 10 | import org.semanticweb.HermiT.Reasoner; |
| 10 | import org.semanticweb.owlapi.model.AxiomType; | 11 | import org.semanticweb.owlapi.model.AxiomType; |
| 11 | import org.semanticweb.owlapi.model.IRI; | 12 | import org.semanticweb.owlapi.model.IRI; |
| @@ -65,7 +66,7 @@ public class SummaryTester { | |||
| 65 | OWLDataFactory factory = summary.getOWLOntologyManager().getOWLDataFactory(); | 66 | OWLDataFactory factory = summary.getOWLOntologyManager().getOWLDataFactory(); |
| 66 | QueryRoller r = new QueryRoller(factory); | 67 | QueryRoller r = new QueryRoller(factory); |
| 67 | OWLClassExpression summarisedQueryExp; | 68 | OWLClassExpression summarisedQueryExp; |
| 68 | Reasoner reasoner = new Reasoner(summary); | 69 | Reasoner reasoner = new Reasoner(new Configuration(), summary); |
| 69 | QueryManager queryManager = new QueryManager(); | 70 | QueryManager queryManager = new QueryManager(); |
| 70 | int upperBoundCounter, queryID = 0; | 71 | int upperBoundCounter, queryID = 0; |
| 71 | StringBuilder queryText = new StringBuilder(); | 72 | StringBuilder queryText = new StringBuilder(); |
