aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
diff options
context:
space:
mode:
authorFederico Igne <git@federicoigne.com>2021-07-29 11:54:44 +0100
committerFederico Igne <git@federicoigne.com>2021-07-29 11:54:44 +0100
commitcbfa987d5c8d2f550d509c0a3d8226f302df476a (patch)
tree99e6dfa0fb2235a5289cb04b67b6f8ec3c5b603f /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
parent30b199205f3a16cc92577393ddf9b5d7b36d9dc3 (diff)
downloadRSAComb-cbfa987d5c8d2f550d509c0a3d8226f302df476a.tar.gz
RSAComb-cbfa987d5c8d2f550d509c0a3d8226f302df476a.zip
Change spelling: LowerBound to Lowerbound
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.scala4
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 258c226..4c63e17 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
@@ -28,7 +28,7 @@ import sparql.ConjunctiveQuery
28 28
29import uk.ac.ox.cs.rsacomb.ontology.Ontology 29import uk.ac.ox.cs.rsacomb.ontology.Ontology
30import uk.ac.ox.cs.rsacomb.converter.Normalizer 30import uk.ac.ox.cs.rsacomb.converter.Normalizer
31import uk.ac.ox.cs.rsacomb.approximation.LowerBound 31import uk.ac.ox.cs.rsacomb.approximation.Lowerbound
32 32
33case class RSAOption[+T](opt: T) { 33case class RSAOption[+T](opt: T) {
34 def get[T]: T = opt.asInstanceOf[T] 34 def get[T]: T = opt.asInstanceOf[T]
@@ -133,7 +133,7 @@ object RSAComb extends App {
133 ).normalize(new Normalizer) 133 ).normalize(new Normalizer)
134 134
135 /* Approximate the ontology to RSA */ 135 /* Approximate the ontology to RSA */
136 val toRSA = new LowerBound 136 val toRSA = new Lowerbound
137 val rsa = ontology approximate toRSA 137 val rsa = ontology approximate toRSA
138 138
139 if (config contains 'query) { 139 if (config contains 'query) {