Generalize dependency graph generation

The code to generate the dependency graph has been moved in the
companion object of the generic OWL 2 ontology wrapper Ontology.
This signals that we could potentially build a dependency graph for any
ontology (and not only RSA ontology).

Moreover, a dependency graph can be build for an Ontology object or an
arbitrary TBox and Abox.

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 {
 /** Main entry point to the program */
 object RSAComb extends App {
 
+  /*
+   * TODO: Aiming for this workflow:
+   *
+   *    implicit val manager = new Manager(...)
+   *    val original = manager.importFromFile("ontology.owl")
+   *    val axioms = original.getAxioms.filter(isLogicalAxiom).normalize(normalizer)
+   *    val ontology = new Ontology(axioms, data)
+   *    val rsa = ontology.toRSA(approximator)
+   */
+
   /* Command-line options */
   val config = RSAConfig.parse(args.toList)