From 7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 16 Jun 2015 15:54:53 +0100 Subject: Maybe fixed bug in internalisation. --- src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 8 +++++++- src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java | 2 +- src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java | 1 + 3 files changed, 9 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 93fbc98..0b02e5a 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -189,12 +189,18 @@ class MyQueryReasoner extends QueryReasoner { return; OWLOntology relevantOntologySubset = extractRelevantOntologySubset(queryRecord); -// queryRecord.saveRelevantOntology("./fragment_query" + queryRecord.getQueryID() + ".owl"); + queryRecord.saveRelevantOntology("/home/alessandro/Desktop/test-relevant-ontology.owl"); +// int gapAnswersCount = queryRecord.getGapAnswersCount(); if(properties.getUseSkolemUpperBound() && querySkolemisedRelevantSubset(relevantOntologySubset, queryRecord)) return; +// // TODO extract from the previous relevant ontology +// // TODO implement details or remove it +// if(queryRecord.getGapAnswersCount() < gapAnswersCount) +// extractRelevantOntologySubset(queryRecord); // takes the relevant ontology from the record + Timer t = new Timer(); Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT()); summarisedChecker.check(queryRecord.getGapAnswers()); diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java index 3a057ec..e8daa3b 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java @@ -206,7 +206,7 @@ public abstract class QueryReasoner extends Disposable { if you call twice, you will end up with a json file with multiple roots */ if(answerWriter != null) gson.toJson(queryRecords, answerWriter); // queryRecords.stream().forEach(record -> Utility.logDebug(gson.toJson(record))); - queryRecords.stream().forEach(record -> record.dispose()); + queryRecords.stream().forEach(QueryRecord::dispose); } @Override diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java index 35db0f2..9cfc773 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java @@ -101,6 +101,7 @@ public class HermitChecker extends Checker { // for (OWLAxiom axiom: toCheckAxioms) System.out.println(axiom.toString()); +// Utility.logInfo(toCheckAxioms); if(hermit.isEntailed(toCheckAxioms)) { Utility.logDebug("@TIME to check one tuple: " + t.duration()); return true; -- cgit v1.2.3