Add full set of rules for filtering program

1 files changed, 3 insertions, 2 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index edd3758..9125f9f 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -50,9 +50,10 @@ object RSA extends RSAOntology {
   val test_query =
     Query.create(QueryType.SELECT, false, testAnswerVars, testFormula)
 
-  def internal(name: String): IRI =
+  def internal(name: Any): IRI =
     IRI.create(
-      Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI + name
+      Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI
+        + name.toString
     )
 
   // TODO: move this somewhere else... maybe an OntoUtils class or something.