diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-02 11:03:22 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-02 11:03:22 +0100 |
commit | 80dbaf650804182e0db9f8bdfc9ba884a3a8a846 (patch) | |
tree | 3724edff63151017975a02d5f2dba890c2211b25 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
parent | 5a7208dac91c31ffcec37955fff48f1046aac753 (diff) | |
download | RSAComb-80dbaf650804182e0db9f8bdfc9ba884a3a8a846.tar.gz RSAComb-80dbaf650804182e0db9f8bdfc9ba884a3a8a846.zip |
Apply minor tweaks
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index 909cfdd..2e7f586 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |||
@@ -128,6 +128,7 @@ object RSAComb extends App { | |||
128 | 128 | ||
129 | val ontology = | 129 | val ontology = |
130 | RSAOntology(config('ontology).get[File], config('data).get[List[File]]: _*) | 130 | RSAOntology(config('ontology).get[File], config('data).get[List[File]]: _*) |
131 | |||
131 | if (ontology.isRSA) { | 132 | if (ontology.isRSA) { |
132 | 133 | ||
133 | Logger print "Ontology is RSA!" | 134 | Logger print "Ontology is RSA!" |
@@ -139,7 +140,7 @@ object RSAComb extends App { | |||
139 | ConjunctiveQuery.parse(query) match { | 140 | ConjunctiveQuery.parse(query) match { |
140 | case Some(query) => { | 141 | case Some(query) => { |
141 | val answers = ontology ask query | 142 | val answers = ontology ask query |
142 | Logger.print(s"$answers", Logger.QUIET) | 143 | //Logger.print(s"$answers", Logger.QUIET) |
143 | Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" | 144 | Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" |
144 | 145 | ||
145 | // /* Additional DEBUG information */ | 146 | // /* Additional DEBUG information */ |