diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-09 20:52:47 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-09 20:52:47 +0100 |
| commit | c6a63f565b8311348a800366c05dc3a6e964872c (patch) | |
| tree | fc08c1635d75fb17f65cb1367f5298f564bff2fd /getlibs.sh | |
| parent | e6048bd85da50a8f40538b968fe7ac3b957fdd97 (diff) | |
| download | RSAComb-c6a63f565b8311348a800366c05dc3a6e964872c.tar.gz RSAComb-c6a63f565b8311348a800366c05dc3a6e964872c.zip | |
Fix handling of class expression OWLObjectHasSelf
It was not properly handled in the normalization process.
Diffstat (limited to 'getlibs.sh')
0 files changed, 0 insertions, 0 deletions