aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/uk/ac/ox')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala4
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 */