diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 15:13:18 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 15:20:45 +0000 |
commit | 8af52541d00dc576bac20f9366be979a94d542c1 (patch) | |
tree | 75b6025759f4d288b74ebebcc4f1beb6e3344d78 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
parent | f8e612288f3a604ee1bd60016b7320f00b763e6b (diff) | |
download | RSAComb-8af52541d00dc576bac20f9366be979a94d542c1.tar.gz RSAComb-8af52541d00dc576bac20f9366be979a94d542c1.zip |
Change how inverse roles are handle on the logic programming side
Seems like an easy way to convert inverse roles into atoms is to write
`R(y,x)` instead of `R^-(x,y)`.
This is still something we need to test and some additional rules that
use inverse roles in the naive way are still generated.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
0 files changed, 0 insertions, 0 deletions