diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-17 14:30:50 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-17 14:30:50 +0100 |
| commit | 56a3cc7f1a2d1dc85a262f2648cf246197684caf (patch) | |
| tree | 1005649e7afab4a3bac9627a6d1d0194436d3e73 /src | |
| parent | c782cacac113f3f0b7fe39add68382d82d2eca2c (diff) | |
| download | RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.tar.gz RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.zip | |
Add simple examples
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 { |