diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-08-24 15:54:05 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-08-24 15:54:05 +0100 |
| commit | 90cb6032058ad3fc16b895922823b5a700121b1b (patch) | |
| tree | 0aeba79d9df6ea257dd67f5e049d2065f97787ad /src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java | |
| parent | ae9a6bad58019ef18657568e58f49459fbadc49c (diff) | |
| download | ACQuA-90cb6032058ad3fc16b895922823b5a700121b1b.tar.gz ACQuA-90cb6032058ad3fc16b895922823b5a700121b1b.zip | |
Incremental Skolemised store (seems completed).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java index 107d3ca..034827e 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java | |||
| @@ -32,6 +32,13 @@ public class BasicQueryEngine extends RDFoxQueryEngine { | |||
| 32 | parameters.m_useBushy = true; | 32 | parameters.m_useBushy = true; |
| 33 | } | 33 | } |
| 34 | 34 | ||
| 35 | /*** | ||
| 36 | * @return Overall number of triples. | ||
| 37 | */ | ||
| 38 | public long getStoreSize() throws JRDFStoreException { | ||
| 39 | return store.getTriplesCount(); | ||
| 40 | } | ||
| 41 | |||
| 35 | public void materialiseFoldedly(DatalogProgram dProgram, GapByStore4ID gap) { | 42 | public void materialiseFoldedly(DatalogProgram dProgram, GapByStore4ID gap) { |
| 36 | if(isDisposed()) throw new DisposedException(); | 43 | if(isDisposed()) throw new DisposedException(); |
| 37 | if(gap != null) { | 44 | if(gap != null) { |