diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-10 12:59:32 +0200 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-10 12:59:32 +0200 |
commit | dbc4499bbf1ee21441158f4028fba330f18e0b3d (patch) | |
tree | 6095326adbb695448244ae8c50ac3f0b8b1d756b /project/Dependencies.scala | |
parent | 34d18836c5a59c73a672328e65c842fc75ddb5e1 (diff) | |
download | RSAComb-dbc4499bbf1ee21441158f4028fba330f18e0b3d.tar.gz RSAComb-dbc4499bbf1ee21441158f4028fba330f18e0b3d.zip |
Fix bug with conflict set computation
Conflicting roles w.r.t. to an input role where initially searched among
the roles named in the ontology. This excludes all those roles that are
only implicitly part of an ontology (e.g., inverse of named roles).
Diffstat (limited to 'project/Dependencies.scala')
0 files changed, 0 insertions, 0 deletions