From daf6c30152f3bb1ac6f10f1eeb783687f1a6a214 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 7 Dec 2020 16:44:19 +0000 Subject: Fix typo in ontology diagnostics --- src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 4 ++-- 1 file changed, 2 insertions(+), 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 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) { val axioms: List[OWLLogicalAxiom] = abox ::: tbox ::: rbox Logger.print(s"Original TBox: ${tbox.length} axioms", Logger.DEBUG) - Logger.print(s"Original RBox: ${tbox.length} axioms", Logger.DEBUG) - Logger.print(s"Original ABox: ${tbox.length} axioms", Logger.DEBUG) + Logger.print(s"Original RBox: ${rbox.length} axioms", Logger.DEBUG) + Logger.print(s"Original ABox: ${abox.length} axioms", Logger.DEBUG) /* Retrieve individuals in the original ontology */ -- cgit v1.2.3