diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-15 12:32:45 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-04-15 12:32:45 +0100 |
commit | 826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9 (patch) | |
tree | 1936a71db16fd9221389daf9d4454353754ac4d9 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
parent | c6a63f565b8311348a800366c05dc3a6e964872c (diff) | |
download | RSAComb-826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9.tar.gz RSAComb-826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9.zip |
Prepare code for double-blind submissionv0.1.0
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala index 3527da5..c7b3bf0 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
@@ -459,7 +459,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) { | |||
459 | Logger.DEBUG | 459 | Logger.DEBUG |
460 | ) | 460 | ) |
461 | 461 | ||
462 | // TODO: the following functions needs testing | ||
463 | def confl( | 462 | def confl( |
464 | role: OWLObjectPropertyExpression | 463 | role: OWLObjectPropertyExpression |
465 | ): Set[OWLObjectPropertyExpression] = { | 464 | ): Set[OWLObjectPropertyExpression] = { |
@@ -655,7 +654,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) { | |||
655 | // We just need the TBox to find | 654 | // We just need the TBox to find |
656 | val terms = for { | 655 | val terms = for { |
657 | axiom1 <- tbox | 656 | axiom1 <- tbox |
658 | // TODO: is this an optimization or an error? | ||
659 | if axiom1.isT5 | 657 | if axiom1.isT5 |
660 | // We expect only one role coming out of a T5 axiom | 658 | // We expect only one role coming out of a T5 axiom |
661 | roleS <- axiom1.objectPropertyExpressionsInSignature | 659 | roleS <- axiom1.objectPropertyExpressionsInSignature |