Simplify ProgramGenerator constructor

If we pass the whole ontology there is no need to also provide the set
of unsafe roles.

1 files changed, 11 insertions, 4 deletions

diff --git a/src/main/scala/rsacomb/RDFoxUtil.scala b/src/main/scala/rsacomb/RDFoxUtil.scala
index b523d4e..8a144c6 100644
--- a/src/main/scala/rsacomb/RDFoxUtil.scala
+++ b/src/main/scala/rsacomb/RDFoxUtil.scala
@@ -12,14 +12,21 @@ import tech.oxfordsemantic.jrdfox.client.{
 }
 import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
 
+import tech.oxfordsemantic.jrdfox.logic.{IRI => RDFox_IRI}
+import org.semanticweb.owlapi.model.{IRI => OWL_IRI}
+
 object RDFoxUtil {
 
-  implicit def owlapi2rdfox(iri: org.semanticweb.owlapi.model.IRI): IRI = {
-    IRI.create(iri.getIRIString())
+  implicit def rdfox2owlapi(iri: RDFox_IRI): OWL_IRI = {
+    OWL_IRI.create(iri.getIRI)
+  }
+
+  implicit def owlapi2rdfox(iri: OWL_IRI): RDFox_IRI = {
+    RDFox_IRI.create(iri.getIRIString())
   }
 
-  implicit def owlapi2rdfox(iri: String): IRI = {
-    IRI.create(iri)
+  implicit def owlapi2rdfox(iri: String): RDFox_IRI = {
+    RDFox_IRI.create(iri)
   }
 
   def openConnection(