diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-11 16:28:20 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-11 16:28:20 +0100 |
| commit | 094a6e1211c96f174040b209d0c5e2e188bfa4ac (patch) | |
| tree | 99450a5203aaa8a6474aff750393eaacf5261d48 /src/main/scala/uk/ac/ox/cs/acqua/Main.scala | |
| parent | 32fe8f94255b913c570275043a3c056eaa4ec07b (diff) | |
| download | ACQuA-094a6e1211c96f174040b209d0c5e2e188bfa4ac.tar.gz ACQuA-094a6e1211c96f174040b209d0c5e2e188bfa4ac.zip | |
Add RSA query reasoner to perform CQ answering over RSA
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/acqua/Main.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/acqua/Main.scala | 25 |
1 files changed, 8 insertions, 17 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala index e8cfeb7..221c0e2 100644 --- a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala | |||
| @@ -57,29 +57,20 @@ object Acqua extends App { | |||
| 57 | reasoner.loadOntology(ontology.origin) | 57 | reasoner.loadOntology(ontology.origin) |
| 58 | reasoner.importData(properties.getDataPath()) | 58 | reasoner.importData(properties.getDataPath()) |
| 59 | if (reasoner.preprocess()) { | 59 | if (reasoner.preprocess()) { |
| 60 | Utility.logInfo("The ontology is consistent!"); | 60 | Utility logInfo "The ontology is consistent!" |
| 61 | } | 61 | } |
| 62 | else { | 62 | else { |
| 63 | Utility.logInfo("The ontology is inconsistent!"); | 63 | Utility logInfo "The ontology is inconsistent!" |
| 64 | reasoner.dispose(); | 64 | reasoner.dispose(); |
| 65 | // Exit somehow | ||
| 65 | } | 66 | } |
| 66 | 67 | ||
| 67 | if (config contains 'queries) { | 68 | if (config contains 'queries) { |
| 68 | val queries = | 69 | val queryManager = reasoner.getQueryManager() |
| 69 | RDFoxUtil.loadQueriesFromFiles( | 70 | config('queries).get[List[os.Path]].map(path => { |
| 70 | config('queries).get[List[os.Path]], | 71 | val queries = queryManager collectQueryRecords path.toString |
| 71 | RSA.Prefixes | 72 | reasoner evaluate queries |
| 72 | ) | 73 | }) |
| 73 | // for(String queryFile : properties.getQueryPath().split(";")) { | ||
| 74 | // Collection<QueryRecord> queryRecords = pagoda.getQueryManager().collectQueryRecords(queryFile); | ||
| 75 | // pagoda.evaluate(queryRecords); | ||
| 76 | } | 74 | } |
| 77 | } | 75 | } |
| 78 | 76 | ||
| 79 | |||
| 80 | // /* Perform query answering */ | ||
| 81 | // val answers = rsa ask queries | ||
| 82 | |||
| 83 | // /* Perform logging */ | ||
| 84 | // Logger write answers | ||
| 85 | // Logger.generateSimulationScripts(datapath, queries) | ||
