aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-02 11:03:22 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-02 11:03:22 +0100
commit80dbaf650804182e0db9f8bdfc9ba884a3a8a846 (patch)
tree3724edff63151017975a02d5f2dba890c2211b25 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
parent5a7208dac91c31ffcec37955fff48f1046aac753 (diff)
downloadRSAComb-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.scala3
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 */