From 2b661f3ac6fdb5156168b6775ede24e4c7b53758 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 7 Sep 2020 13:08:31 +0200 Subject: 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. --- src/main/scala/rsacomb/Main.scala | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'src/main/scala/rsacomb/Main.scala') 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!") -- cgit v1.2.3