diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-03 15:21:30 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-03 15:21:30 +0100 |
| commit | b3b822d187a6402a39d30e471fe90a5dfad64312 (patch) | |
| tree | 912e1914610c8cf6103b7b7aef07087ddd7eb62f /src/uk/ac/ox/cs/pagoda/endomorph | |
| parent | 691964863246bbf6ef9f72cc5e82c83df34f135a (diff) | |
| download | ACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.tar.gz ACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.zip | |
Before reintroducing extended queries.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/endomorph')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java index e6b50f9..cde0895 100644 --- a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java +++ b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java | |||
| @@ -1,11 +1,8 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.endomorph; | 1 | package uk.ac.ox.cs.pagoda.endomorph; |
| 2 | 2 | ||
| 3 | import java.util.Collection; | ||
| 4 | import java.util.LinkedList; | ||
| 5 | |||
| 6 | import org.semanticweb.owlapi.model.OWLOntology; | 3 | import org.semanticweb.owlapi.model.OWLOntology; |
| 7 | 4 | import uk.ac.ox.cs.pagoda.endomorph.plan.CheckPlan; | |
| 8 | import uk.ac.ox.cs.pagoda.endomorph.plan.*; | 5 | import uk.ac.ox.cs.pagoda.endomorph.plan.OpenEndPlan; |
| 9 | import uk.ac.ox.cs.pagoda.query.AnswerTuple; | 6 | import uk.ac.ox.cs.pagoda.query.AnswerTuple; |
| 10 | import uk.ac.ox.cs.pagoda.query.AnswerTuples; | 7 | import uk.ac.ox.cs.pagoda.query.AnswerTuples; |
| 11 | import uk.ac.ox.cs.pagoda.query.QueryRecord; | 8 | import uk.ac.ox.cs.pagoda.query.QueryRecord; |
| @@ -14,8 +11,12 @@ import uk.ac.ox.cs.pagoda.summary.Graph; | |||
| 14 | import uk.ac.ox.cs.pagoda.summary.NodeTuple; | 11 | import uk.ac.ox.cs.pagoda.summary.NodeTuple; |
| 15 | import uk.ac.ox.cs.pagoda.util.Timer; | 12 | import uk.ac.ox.cs.pagoda.util.Timer; |
| 16 | import uk.ac.ox.cs.pagoda.util.Utility; | 13 | import uk.ac.ox.cs.pagoda.util.Utility; |
| 14 | import uk.ac.ox.cs.pagoda.util.disposable.DisposedException; | ||
| 17 | 15 | ||
| 18 | public class Endomorph implements Checker { | 16 | import java.util.Collection; |
| 17 | import java.util.LinkedList; | ||
| 18 | |||
| 19 | public class Endomorph extends Checker { | ||
| 19 | 20 | ||
| 20 | Checker fullReasoner; | 21 | Checker fullReasoner; |
| 21 | DependencyGraph dGraph; | 22 | DependencyGraph dGraph; |
| @@ -36,6 +37,8 @@ public class Endomorph implements Checker { | |||
| 36 | 37 | ||
| 37 | @Override | 38 | @Override |
| 38 | public int check(AnswerTuples answerTuples) { | 39 | public int check(AnswerTuples answerTuples) { |
| 40 | if(isDisposed()) throw new DisposedException(); | ||
| 41 | |||
| 39 | Collection<NodeTuple> nodes = new LinkedList<NodeTuple>(); | 42 | Collection<NodeTuple> nodes = new LinkedList<NodeTuple>(); |
| 40 | int counter = 0; | 43 | int counter = 0; |
| 41 | 44 | ||
| @@ -62,33 +65,47 @@ public class Endomorph implements Checker { | |||
| 62 | } | 65 | } |
| 63 | 66 | ||
| 64 | public OWLOntology getOntology() { | 67 | public OWLOntology getOntology() { |
| 68 | if(isDisposed()) throw new DisposedException(); | ||
| 69 | |||
| 65 | return m_record.getRelevantOntology(); | 70 | return m_record.getRelevantOntology(); |
| 66 | } | 71 | } |
| 67 | 72 | ||
| 68 | @Override | 73 | @Override |
| 69 | public boolean check(AnswerTuple answerTuple) { | 74 | public boolean check(AnswerTuple answerTuple) { |
| 75 | if(isDisposed()) throw new DisposedException(); | ||
| 76 | |||
| 70 | return fullReasoner.check(answerTuple); | 77 | return fullReasoner.check(answerTuple); |
| 71 | } | 78 | } |
| 72 | 79 | ||
| 73 | @Override | 80 | @Override |
| 74 | public boolean isConsistent() { | 81 | public boolean isConsistent() { |
| 82 | if(isDisposed()) throw new DisposedException(); | ||
| 83 | |||
| 75 | return fullReasoner.isConsistent(); | 84 | return fullReasoner.isConsistent(); |
| 76 | } | 85 | } |
| 77 | 86 | ||
| 78 | @Override | 87 | @Override |
| 79 | public void dispose() { | 88 | public void dispose() { |
| 89 | super.dispose(); | ||
| 90 | |||
| 80 | fullReasoner.dispose(); | 91 | fullReasoner.dispose(); |
| 81 | } | 92 | } |
| 82 | 93 | ||
| 83 | public Graph getGraph() { | 94 | public Graph getGraph() { |
| 95 | if(isDisposed()) throw new DisposedException(); | ||
| 96 | |||
| 84 | return graph; | 97 | return graph; |
| 85 | } | 98 | } |
| 86 | 99 | ||
| 87 | public Checker getChecker() { | 100 | public Checker getChecker() { |
| 101 | if(isDisposed()) throw new DisposedException(); | ||
| 102 | |||
| 88 | return fullReasoner; | 103 | return fullReasoner; |
| 89 | } | 104 | } |
| 90 | 105 | ||
| 91 | public DependencyGraph getDependencyGraph() { | 106 | public DependencyGraph getDependencyGraph() { |
| 107 | if(isDisposed()) throw new DisposedException(); | ||
| 108 | |||
| 92 | return dGraph; | 109 | return dGraph; |
| 93 | } | 110 | } |
| 94 | 111 | ||
