Add setup code to compute the RSA filtering program

Not all rules of the filtering program have been implemented, but the
code for the generation and reification of the rules seems to work.

1 files changed, 5 insertions, 1 deletions

diff --git a/src/main/scala/rsacomb/RDFoxUtil.scala b/src/main/scala/rsacomb/RDFoxUtil.scala
index 4cefd83..9699fb4 100644
--- a/src/main/scala/rsacomb/RDFoxUtil.scala
+++ b/src/main/scala/rsacomb/RDFoxUtil.scala
@@ -15,6 +15,10 @@ object RDFoxUtil {
     IRI.create(iri.getIRIString())
   }
 
+  implicit def owlapi2rdfox(iri: String): IRI = {
+    IRI.create(iri)
+  }
+
   def openConnection(
       dataStore: String
   ): (ServerConnection, DataStoreConnection) = {
@@ -37,7 +41,7 @@ object RDFoxUtil {
     (server, data)
   }
 
-  def query(
+  def submitQuery(
       data: DataStoreConnection,
       prefixes: Prefixes,
       query: String