aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-10 13:14:33 +0200
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-10 13:14:33 +0200
commit014fda84a13620b64597f4bbd6d27afcb929e0f4 (patch)
tree459f091e3fc0d8942a653655e4ad9741e9c88ff1 /src/main/scala/rsacomb
parentdbc4499bbf1ee21441158f4028fba330f18e0b3d (diff)
downloadRSAComb-014fda84a13620b64597f4bbd6d27afcb929e0f4.tar.gz
RSAComb-014fda84a13620b64597f4bbd6d27afcb929e0f4.zip
Add some tests for canonical model computation
Diffstat (limited to 'src/main/scala/rsacomb')
-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)) {