aboutsummaryrefslogtreecommitdiff
path: root/project/Dependencies.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-10 12:59:32 +0200
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-10 12:59:32 +0200
commitdbc4499bbf1ee21441158f4028fba330f18e0b3d (patch)
tree6095326adbb695448244ae8c50ac3f0b8b1d756b /project/Dependencies.scala
parent34d18836c5a59c73a672328e65c842fc75ddb5e1 (diff)
downloadRSAComb-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