diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-12 11:21:49 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-12 11:21:49 +0100 |
| commit | 6532db6a2cc9131e8039bd0c0e53190cc30b3599 (patch) | |
| tree | 0eb569e6bd046b4c0f436affba84dc6c5aaa296a /src/main/scala/uk/ac/ox/cs/acqua/Main.scala | |
| parent | 094a6e1211c96f174040b209d0c5e2e188bfa4ac (diff) | |
| download | ACQuA-6532db6a2cc9131e8039bd0c0e53190cc30b3599.tar.gz ACQuA-6532db6a2cc9131e8039bd0c0e53190cc30b3599.zip | |
Adjust CLI
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 | 3 |
1 files changed, 2 insertions, 1 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 221c0e2..62cf87c 100644 --- a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala | |||
| @@ -62,9 +62,10 @@ object Acqua extends App { | |||
| 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 | sys.exit(0) |
| 66 | } | 66 | } |
| 67 | 67 | ||
| 68 | /* Query Answering */ | ||
| 68 | if (config contains 'queries) { | 69 | if (config contains 'queries) { |
| 69 | val queryManager = reasoner.getQueryManager() | 70 | val queryManager = reasoner.getQueryManager() |
| 70 | config('queries).get[List[os.Path]].map(path => { | 71 | config('queries).get[List[os.Path]].map(path => { |