diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-23 10:42:26 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-23 10:42:26 +0000 |
| commit | cf3c93abbc7d1be32a8962340baf8b71a615cc56 (patch) | |
| tree | b34ff48f09f13ddbb01e28b198ddf1b0c8a6d11d /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | 5a7c5b14a825d940956040541e127bc62f22fe6f (diff) | |
| download | RSAComb-cf3c93abbc7d1be32a8962340baf8b71a615cc56.tar.gz RSAComb-cf3c93abbc7d1be32a8962340baf8b71a615cc56.zip | |
Add OWL{Data,Object}MinCardinality and OWLHasValue expression support
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')
0 files changed, 0 insertions, 0 deletions