From 826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 15 Apr 2021 12:32:45 +0100 Subject: Prepare code for double-blind submission --- src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala') 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*) { Logger.DEBUG ) - // TODO: the following functions needs testing def confl( role: OWLObjectPropertyExpression ): Set[OWLObjectPropertyExpression] = { @@ -655,7 +654,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) { // We just need the TBox to find val terms = for { axiom1 <- tbox - // TODO: is this an optimization or an error? if axiom1.isT5 // We expect only one role coming out of a T5 axiom roleS <- axiom1.objectPropertyExpressionsInSignature -- cgit v1.2.3