diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index a3c1843..c658227 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala | |||
| @@ -55,7 +55,8 @@ trait RSAOntology { | |||
| 55 | val renderer = new DLSyntaxObjectRenderer() | 55 | val renderer = new DLSyntaxObjectRenderer() |
| 56 | println("\nDL rules:") | 56 | println("\nDL rules:") |
| 57 | tbox.foreach(x => println(renderer.render(x))) | 57 | tbox.foreach(x => println(renderer.render(x))) |
| 58 | println(s"Unsafe roles: $unsafe") | 58 | println("\nUnsafe roles:") |
| 59 | println(unsafe) | ||
| 59 | 60 | ||
| 60 | /* Ontology convertion into LP rules */ | 61 | /* Ontology convertion into LP rules */ |
| 61 | val datalog = for { | 62 | val datalog = for { |