From 80dbaf650804182e0db9f8bdfc9ba884a3a8a846 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 2 Apr 2021 11:03:22 +0100 Subject: Apply minor tweaks --- src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala') 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 { val ontology = RSAOntology(config('ontology).get[File], config('data).get[List[File]]: _*) + if (ontology.isRSA) { Logger print "Ontology is RSA!" @@ -139,7 +140,7 @@ object RSAComb extends App { ConjunctiveQuery.parse(query) match { case Some(query) => { val answers = ontology ask query - Logger.print(s"$answers", Logger.QUIET) + //Logger.print(s"$answers", Logger.QUIET) Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" // /* Additional DEBUG information */ -- cgit v1.2.3