diff options
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 4 |
1 files changed, 2 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 8a40e1e..708e4c7 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -109,8 +109,8 @@ class RSAOntology(val ontology: OWLOntology) { | |||
| 109 | val axioms: List[OWLLogicalAxiom] = abox ::: tbox ::: rbox | 109 | val axioms: List[OWLLogicalAxiom] = abox ::: tbox ::: rbox |
| 110 | 110 | ||
| 111 | Logger.print(s"Original TBox: ${tbox.length} axioms", Logger.DEBUG) | 111 | Logger.print(s"Original TBox: ${tbox.length} axioms", Logger.DEBUG) |
| 112 | Logger.print(s"Original RBox: ${tbox.length} axioms", Logger.DEBUG) | 112 | Logger.print(s"Original RBox: ${rbox.length} axioms", Logger.DEBUG) |
| 113 | Logger.print(s"Original ABox: ${tbox.length} axioms", Logger.DEBUG) | 113 | Logger.print(s"Original ABox: ${abox.length} axioms", Logger.DEBUG) |
| 114 | 114 | ||
| 115 | /* Retrieve individuals in the original ontology | 115 | /* Retrieve individuals in the original ontology |
| 116 | */ | 116 | */ |