From efcc56381d7ebcd12bb0a9836351ae20dc10d334 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 3 Nov 2021 14:56:11 +0000 Subject: Add option to specify the approximation algorithm from the CLI --- src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (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 fe88b4f..cbec9ec 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala @@ -29,7 +29,7 @@ import sparql.ConjunctiveQuery import uk.ac.ox.cs.rsacomb.ontology.Ontology import uk.ac.ox.cs.rsacomb.converter.Normalizer -import uk.ac.ox.cs.rsacomb.approximation.{Upperbound, Lowerbound} +import uk.ac.ox.cs.rsacomb.approximation.Approximation /** Main entry point to the program */ object RSAComb extends App { @@ -53,7 +53,7 @@ object RSAComb extends App { //ontology.axioms foreach println /* Approximate the ontology to RSA */ - val toRSA = new Upperbound + val toRSA = config('approximation).get[Approximation[RSAOntology]] val rsa = ontology approximate toRSA if (config contains 'queries) { -- cgit v1.2.3