diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-13 18:51:17 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-13 18:51:17 +0000 |
| commit | 9e1549537b22851c360b05460098c9e1cee4dcaa (patch) | |
| tree | 5a55f60586befa7fa41275b0389d3d498b2408f2 /src/main/scala/rsacomb/Main.scala | |
| parent | 903983b48d49e17e035bd233d94cd5cb58661a19 (diff) | |
| download | RSAComb-9e1549537b22851c360b05460098c9e1cee4dcaa.tar.gz RSAComb-9e1549537b22851c360b05460098c9e1cee4dcaa.zip | |
Add first implementation of top and equality axiomatization
This is a first stab of the axiomatization. For equality we are deriving
owl:sameAs triples (not ideal) and did not yet introduced "substitution"
rules.
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
0 files changed, 0 insertions, 0 deletions