diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-09 10:38:04 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-09 10:38:04 +0000 |
| commit | b60f60013c560a4d481e95f762e6a7c31c7a5ad2 (patch) | |
| tree | d85d7518ddb870adfd25fa7edfb6ebdc8d011c60 /src/main/scala/rsacomb/Main.scala | |
| parent | 3fe7e89a277f6ffa44d2a698d9edfe4304ed8257 (diff) | |
| download | RSAComb-b60f60013c560a4d481e95f762e6a7c31c7a5ad2.tar.gz RSAComb-b60f60013c560a4d481e95f762e6a7c31c7a5ad2.zip | |
Simplify reification process and add negation reification
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
| -rw-r--r-- | src/main/scala/rsacomb/Main.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala index 64343f5..b893c4f 100644 --- a/src/main/scala/rsacomb/Main.scala +++ b/src/main/scala/rsacomb/Main.scala | |||
| @@ -76,6 +76,10 @@ object RSAComb extends App { | |||
| 76 | val canon = ontology.canonicalModel | 76 | val canon = ontology.canonicalModel |
| 77 | val filter = ontology.filteringProgram(query) | 77 | val filter = ontology.filteringProgram(query) |
| 78 | 78 | ||
| 79 | { | ||
| 80 | filter.rules.foreach(println) | ||
| 81 | } | ||
| 82 | |||
| 79 | // Import relevant data | 83 | // Import relevant data |
| 80 | data.importData(UpdateType.ADDITION, RSA.Prefixes, ":a a :A .") | 84 | data.importData(UpdateType.ADDITION, RSA.Prefixes, ":a a :A .") |
| 81 | data.addRules(canon.rules.asJava) | 85 | data.addRules(canon.rules.asJava) |