diff options
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index aa84308..c1d3ba9 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala | |||
| @@ -270,7 +270,7 @@ trait RSAOntology { | |||
| 270 | .filterNot(_.isOWLBottomObjectProperty()) | 270 | .filterNot(_.isOWLBottomObjectProperty()) |
| 271 | } | 271 | } |
| 272 | 272 | ||
| 273 | private def self(axiom: OWLSubClassOfAxiom): Set[Term] = { | 273 | def self(axiom: OWLSubClassOfAxiom): Set[Term] = { |
| 274 | // Assuming just one role in the signature of a T5 axiom | 274 | // Assuming just one role in the signature of a T5 axiom |
| 275 | val role = axiom.objectPropertyExpressionsInSignature(0) | 275 | val role = axiom.objectPropertyExpressionsInSignature(0) |
| 276 | if (this.confl(role).contains(role)) { | 276 | if (this.confl(role).contains(role)) { |
