diff options
| author | Federico Igne <git@federicoigne.com> | 2021-08-02 09:44:50 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-08-02 18:03:23 +0100 |
| commit | 71367fb626710dcdca0fa09f1902b521c966ef71 (patch) | |
| tree | f0af6ef75d0851b661b3f9e171ed9444ccf78b50 /src/main/scala/uk/ac/ox/cs/rsacomb/approximation | |
| parent | 9256241855a2b0eb21c5af01cf5ca0e3b25524d3 (diff) | |
| download | RSAComb-71367fb626710dcdca0fa09f1902b521c966ef71.tar.gz RSAComb-71367fb626710dcdca0fa09f1902b521c966ef71.zip | |
Update normalizer to handle additional OWL axioms
Also the normalizer should not distinguish ALCHOIQ axioms from
non-ALCHOIQ axioms, and should try its best to return a normalised
axiom.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/approximation')
0 files changed, 0 insertions, 0 deletions