diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-26 18:46:47 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-26 18:46:47 +0000 |
| commit | 51a43d32ec64f9b2382890b0a452be6920a3c900 (patch) | |
| tree | 2bf01dcd229bd39409b78790b32b95e5bacc6f22 /examples | |
| parent | 33431758891fcc3e455fb292067114ca3a546507 (diff) | |
| download | RSAComb-51a43d32ec64f9b2382890b0a452be6920a3c900.tar.gz RSAComb-51a43d32ec64f9b2382890b0a452be6920a3c900.zip | |
Add ability to convert domain/range axioms for object properties
They have a straightforward translation into the supported normal form
proposed in the paper.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions