diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 16:44:19 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 16:44:19 +0000 |
| commit | daf6c30152f3bb1ac6f10f1eeb783687f1a6a214 (patch) | |
| tree | 689370edbc9a0621a67a14b6906c3ee7fc7260e5 | |
| parent | f8ec324cba9e47936360a3ca9db925e47063de13 (diff) | |
| download | RSAComb-daf6c30152f3bb1ac6f10f1eeb783687f1a6a214.tar.gz RSAComb-daf6c30152f3bb1ac6f10f1eeb783687f1a6a214.zip | |
Fix typo in ontology diagnostics
| -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 | */ |