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 | 10 |
1 files changed, 10 insertions, 0 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 b749401..82da9df 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |||
@@ -103,6 +103,16 @@ object RSAConfig { | |||
103 | /** Main entry point to the program */ | 103 | /** Main entry point to the program */ |
104 | object RSAComb extends App { | 104 | object RSAComb extends App { |
105 | 105 | ||
106 | /* | ||
107 | * TODO: Aiming for this workflow: | ||
108 | * | ||
109 | * implicit val manager = new Manager(...) | ||
110 | * val original = manager.importFromFile("ontology.owl") | ||
111 | * val axioms = original.getAxioms.filter(isLogicalAxiom).normalize(normalizer) | ||
112 | * val ontology = new Ontology(axioms, data) | ||
113 | * val rsa = ontology.toRSA(approximator) | ||
114 | */ | ||
115 | |||
106 | /* Command-line options */ | 116 | /* Command-line options */ |
107 | val config = RSAConfig.parse(args.toList) | 117 | val config = RSAConfig.parse(args.toList) |
108 | 118 | ||