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, 10 insertions, 8 deletions

diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala
index 9cd6680..d2bc2a8 100644
--- a/src/main/scala/rsacomb/Main.scala
+++ b/src/main/scala/rsacomb/Main.scala
@@ -48,18 +48,20 @@ object RSAComb {
      */
 
     val ontology = RSA.loadOntology(ontoPath)
-    ontology.isRSA
+    if (ontology.isRSA) {
 
-    /* Build canonical model */
-    //val tboxCanon = rsa.canonicalModel()
+      /* Build canonical model */
+      //val tboxCanon = rsa.canonicalModel()
 
-    /* Load query */
-    //val query = ...
+      /* Load query */
+      val query = RSA.test_query
 
-    /* Compute the filtering program from the given query */
-    //val tboxFilter = rsa.filteringProgram(query)
+      /* Compute the filtering program from the given query */
+      val filter = ontology.getFilteringProgram(query)
 
-    /* ... */
+      /* ... */
+
+    }
 
     /* DEBUG ONLY */
     println("Ok!")