aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-15 12:32:45 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-15 12:32:45 +0100
commit826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9 (patch)
tree1936a71db16fd9221389daf9d4454353754ac4d9 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
parentc6a63f565b8311348a800366c05dc3a6e964872c (diff)
downloadRSAComb-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.scala2
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