aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-08 15:13:18 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-08 15:20:45 +0000
commit8af52541d00dc576bac20f9366be979a94d542c1 (patch)
tree75b6025759f4d288b74ebebcc4f1beb6e3344d78 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
parentf8e612288f3a604ee1bd60016b7320f00b763e6b (diff)
downloadRSAComb-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