From 2d007839a1e0f9775097f5f7cff14521d2afd021 Mon Sep 17 00:00:00 2001 From: yzhou Date: Fri, 1 May 2015 12:10:58 +0100 Subject: add time tag to the temporary output fixed a bug about equality in the tracking datalog encoding --- test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'test') diff --git a/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java b/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java index 282c8f3..7aaabed 100644 --- a/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java +++ b/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java @@ -463,8 +463,7 @@ public class PagodaOWLReasoner implements OWLReasoner { @Override public void dispose() { - // TODO Auto-generated method stub - + reasoner.dispose(); } } -- cgit v1.2.3