From cbfa987d5c8d2f550d509c0a3d8226f302df476a Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Thu, 29 Jul 2021 11:54:44 +0100
Subject: Change spelling: LowerBound to Lowerbound

---
 src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala          |  4 ++--
 .../uk/ac/ox/cs/rsacomb/approximation/Lowerbound.scala | 18 +++++++++---------
 2 files changed, 11 insertions(+), 11 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
 
 import uk.ac.ox.cs.rsacomb.ontology.Ontology
 import uk.ac.ox.cs.rsacomb.converter.Normalizer
-import uk.ac.ox.cs.rsacomb.approximation.LowerBound
+import uk.ac.ox.cs.rsacomb.approximation.Lowerbound
 
 case class RSAOption[+T](opt: T) {
   def get[T]: T = opt.asInstanceOf[T]
@@ -133,7 +133,7 @@ object RSAComb extends App {
   ).normalize(new Normalizer)
 
   /* Approximate the ontology to RSA */
-  val toRSA = new LowerBound
+  val toRSA = new Lowerbound
   val rsa = ontology approximate toRSA
 
   if (config contains 'query) {
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/approximation/Lowerbound.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/approximation/Lowerbound.scala
index 60a88fb..290cbaf 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/approximation/Lowerbound.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/approximation/Lowerbound.scala
@@ -16,7 +16,7 @@ import uk.ac.ox.cs.rsacomb.RSAOntology
 import uk.ac.ox.cs.rsacomb.RSAUtil
 import uk.ac.ox.cs.rsacomb.ontology.Ontology
 
-object LowerBound {
+object Lowerbound {
 
   private val manager = OWLManager.createOWLOntologyManager()
   private val factory = manager.getOWLDataFactory()
@@ -38,7 +38,7 @@ object LowerBound {
   *
   * @see [[uk.ac.ox.cs.rsacomb.converter.Normalizer]]
   */
-class LowerBound extends Approximation[RSAOntology] {
+class Lowerbound extends Approximation[RSAOntology] {
 
   /** Simplify conversion between Java and Scala collections */
   import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._
@@ -130,19 +130,19 @@ class LowerBound extends Approximation[RSAOntology] {
             )
 
             val r1 =
-              LowerBound.factory.getOWLSubClassOfAxiom(
-                LowerBound.factory.getOWLObjectIntersectionOf(
+              Lowerbound.factory.getOWLSubClassOfAxiom(
+                Lowerbound.factory.getOWLObjectIntersectionOf(
                   (body.map(_._1) ++ head.map(_._2)): _*
                 ),
-                LowerBound.factory.getOWLNothing
+                Lowerbound.factory.getOWLNothing
               )
 
             val r2s =
               for {
                 (a, na) <- head
                 hs = head.map(_._2).filterNot(_ equals na)
-              } yield LowerBound.factory.getOWLSubClassOfAxiom(
-                LowerBound.factory.getOWLObjectIntersectionOf(
+              } yield Lowerbound.factory.getOWLSubClassOfAxiom(
+                Lowerbound.factory.getOWLObjectIntersectionOf(
                   (body.map(_._1) ++ hs): _*
                 ),
                 a
@@ -152,8 +152,8 @@ class LowerBound extends Approximation[RSAOntology] {
               for {
                 (a, na) <- body
                 bs = body.map(_._1).filterNot(_ equals a)
-              } yield LowerBound.factory.getOWLSubClassOfAxiom(
-                LowerBound.factory.getOWLObjectIntersectionOf(
+              } yield Lowerbound.factory.getOWLSubClassOfAxiom(
+                Lowerbound.factory.getOWLObjectIntersectionOf(
                   (bs ++ head.map(_._2)): _*
                 ),
                 na
-- 
cgit v1.2.3