diff options
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
| -rw-r--r-- | src/main/scala/rsacomb/Main.scala | 18 |
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 { | |||
| 48 | */ | 48 | */ |
| 49 | 49 | ||
| 50 | val ontology = RSA.loadOntology(ontoPath) | 50 | val ontology = RSA.loadOntology(ontoPath) |
| 51 | ontology.isRSA | 51 | if (ontology.isRSA) { |
| 52 | 52 | ||
| 53 | /* Build canonical model */ | 53 | /* Build canonical model */ |
| 54 | //val tboxCanon = rsa.canonicalModel() | 54 | //val tboxCanon = rsa.canonicalModel() |
| 55 | 55 | ||
| 56 | /* Load query */ | 56 | /* Load query */ |
| 57 | //val query = ... | 57 | val query = RSA.test_query |
| 58 | 58 | ||
| 59 | /* Compute the filtering program from the given query */ | 59 | /* Compute the filtering program from the given query */ |
| 60 | //val tboxFilter = rsa.filteringProgram(query) | 60 | val filter = ontology.getFilteringProgram(query) |
| 61 | 61 | ||
| 62 | /* ... */ | 62 | /* ... */ |
| 63 | |||
| 64 | } | ||
| 63 | 65 | ||
| 64 | /* DEBUG ONLY */ | 66 | /* DEBUG ONLY */ |
| 65 | println("Ok!") | 67 | println("Ok!") |