1 files changed, 2 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 66de974..10a9d47 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -28,6 +28,8 @@ object RSA extends RSAOntology with RSAAxiom {
   Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#")
   Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#")
 
+  val EquivTo: IRI = this.internal("EquivTo")
+
   // Counter used to implement a simple fresh variable generator
   private var counter = -1;