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 | |
| parent | dbc4499bbf1ee21441158f4028fba330f18e0b3d (diff) | |
| download | RSAComb-014fda84a13620b64597f4bbd6d27afcb929e0f4.tar.gz RSAComb-014fda84a13620b64597f4bbd6d27afcb929e0f4.zip | |
Add some tests for canonical model computation
Diffstat (limited to 'src/main/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)) { |