diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-04 18:01:50 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-04 18:16:15 +0100 |
| commit | c86e7d32420adcc05546efa45b21e0e31d0f6c90 (patch) | |
| tree | d1f006a145b9830ca45383f510348fc049e4b72b /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | 55e374c98c1446c612fecd78a352cc870755ef7c (diff) | |
| download | RSAComb-c86e7d32420adcc05546efa45b21e0e31d0f6c90.tar.gz RSAComb-c86e7d32420adcc05546efa45b21e0e31d0f6c90.zip | |
Fix issue where not all roles where considered for top axiomatisation
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala index a39b9c0..bd3d3c3 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |||
| @@ -68,7 +68,7 @@ class CanonicalModel(val ontology: RSAOntology, val graph: IRI) { | |||
| 68 | */ | 68 | */ |
| 69 | val rolesAdditionalRules: List[Rule] = { | 69 | val rolesAdditionalRules: List[Rule] = { |
| 70 | val tt = TupleTableName.create(graph.getIRI) | 70 | val tt = TupleTableName.create(graph.getIRI) |
| 71 | ontology.roles | 71 | ontology.objroles |
| 72 | .collect { case prop: OWLObjectProperty => prop } | 72 | .collect { case prop: OWLObjectProperty => prop } |
| 73 | .flatMap((pred) => { | 73 | .flatMap((pred) => { |
| 74 | val iri = pred.getIRI.getIRIString | 74 | val iri = pred.getIRI.getIRIString |