diff options
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index cbec9ec..3aa81a7 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |||
@@ -50,16 +50,14 @@ object RSAComb extends App { | |||
50 | val data = config('data).get[List[os.Path]] | 50 | val data = config('data).get[List[os.Path]] |
51 | val ontology = Ontology(ontopath, data).normalize(new Normalizer) | 51 | val ontology = Ontology(ontopath, data).normalize(new Normalizer) |
52 | 52 | ||
53 | //ontology.axioms foreach println | ||
54 | |||
55 | /* Approximate the ontology to RSA */ | 53 | /* Approximate the ontology to RSA */ |
56 | val toRSA = config('approximation).get[Approximation[RSAOntology]] | 54 | val toRSA = config('approximation).get[Approximation[RSAOntology]] |
57 | val rsa = ontology approximate toRSA | 55 | val rsa = ontology approximate toRSA |
58 | 56 | ||
59 | if (config contains 'queries) { | 57 | if (config contains 'queries) { |
60 | val queries = | 58 | val queries = |
61 | RDFoxUtil.loadQueriesFromFile( | 59 | RDFoxUtil.loadQueriesFromFiles( |
62 | config('queries).get[os.Path] | 60 | config('queries).get[List[os.Path]] |
63 | ) | 61 | ) |
64 | 62 | ||
65 | val answers = rsa ask queries | 63 | val answers = rsa ask queries |