diff options
| author | Federico Igne <git@federicoigne.com> | 2021-08-03 12:20:34 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-08-03 12:20:34 +0100 |
| commit | 19c22a38ccaf1685e345a18883ffbac891f97df3 (patch) | |
| tree | 197672906b482999405192fbe5b1a0799b73b6b6 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
| parent | 71367fb626710dcdca0fa09f1902b521c966ef71 (diff) | |
| download | RSAComb-19c22a38ccaf1685e345a18883ffbac891f97df3.tar.gz RSAComb-19c22a38ccaf1685e345a18883ffbac891f97df3.zip | |
Extend converter to RDFox rules to handle property chain axioms
The converter to RDFox datalog rules shouldn't worry about which axiom
is supported or not (it should be a job of the approximation algorithm
or of a previous step). Now the converter tries its best to convert
anything that makes sense in datalog.
Also upperbound is ready for testing.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
0 files changed, 0 insertions, 0 deletions