diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-03 14:56:11 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-03 14:56:11 +0000 |
| commit | efcc56381d7ebcd12bb0a9836351ae20dc10d334 (patch) | |
| tree | f7dba28f593d695fd64c7289e526c78bfcac9ee6 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
| parent | 47a89f67f4acdbd55fd1cbfb704211937962e522 (diff) | |
| download | RSAComb-efcc56381d7ebcd12bb0a9836351ae20dc10d334.tar.gz RSAComb-efcc56381d7ebcd12bb0a9836351ae20dc10d334.zip | |
Add option to specify the approximation algorithm from the CLI
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 | 4 |
1 files changed, 2 insertions, 2 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 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 | |||
| 29 | 29 | ||
| 30 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 30 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
| 31 | import uk.ac.ox.cs.rsacomb.converter.Normalizer | 31 | import uk.ac.ox.cs.rsacomb.converter.Normalizer |
| 32 | import uk.ac.ox.cs.rsacomb.approximation.{Upperbound, Lowerbound} | 32 | import uk.ac.ox.cs.rsacomb.approximation.Approximation |
| 33 | 33 | ||
| 34 | /** Main entry point to the program */ | 34 | /** Main entry point to the program */ |
| 35 | object RSAComb extends App { | 35 | object RSAComb extends App { |
| @@ -53,7 +53,7 @@ object RSAComb extends App { | |||
| 53 | //ontology.axioms foreach println | 53 | //ontology.axioms foreach println |
| 54 | 54 | ||
| 55 | /* Approximate the ontology to RSA */ | 55 | /* Approximate the ontology to RSA */ |
| 56 | val toRSA = new Upperbound | 56 | val toRSA = config('approximation).get[Approximation[RSAOntology]] |
| 57 | val rsa = ontology approximate toRSA | 57 | val rsa = ontology approximate toRSA |
| 58 | 58 | ||
| 59 | if (config contains 'queries) { | 59 | if (config contains 'queries) { |