diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-10 13:14:33 +0200 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-10 13:14:33 +0200 |
commit | 014fda84a13620b64597f4bbd6d27afcb929e0f4 (patch) | |
tree | 459f091e3fc0d8942a653655e4ad9741e9c88ff1 /src/main/scala/rsacomb | |
parent | dbc4499bbf1ee21441158f4028fba330f18e0b3d (diff) | |
download | RSAComb-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.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)) { |