From 733d962f27631cfb41de7b47d1fcec35b439537b Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Fri, 9 Oct 2020 19:15:27 +0200
Subject: Simplify ProgramGenerator constructor

If we pass the whole ontology there is no need to also provide the set
of unsafe roles.
---
 src/main/scala/rsacomb/RSA.scala | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main/scala/rsacomb/RSA.scala')

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index edabc6a..01982fc 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -39,6 +39,12 @@ object RSA extends RSAOntology {
     Variable.create(f"I$counter%03d")
   }
 
+  def base(name: Any): IRI =
+    IRI.create(
+      Prefixes.getPrefixIRIsByPrefixName.get(":").getIRI
+        + name.toString
+    )
+
   def internal(name: Any): IRI =
     IRI.create(
       Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI
-- 
cgit v1.2.3