aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala2
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)) {