From 56a3cc7f1a2d1dc85a262f2648cf246197684caf Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 17 Aug 2020 14:30:50 +0100 Subject: Add simple examples --- examples/example1.owl | 80 ++++++++++++++++++++++ examples/example2.owl | 112 +++++++++++++++++++++++++++++++ src/main/scala/rsacomb/RSAOntology.scala | 3 +- 3 files changed, 194 insertions(+), 1 deletion(-) create mode 100644 examples/example1.owl create mode 100644 examples/example2.owl diff --git a/examples/example1.owl b/examples/example1.owl new file mode 100644 index 0000000..88de981 --- /dev/null +++ b/examples/example1.owl @@ -0,0 +1,80 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/examples/example2.owl b/examples/example2.owl new file mode 100644 index 0000000..f42f6c9 --- /dev/null +++ b/examples/example2.owl @@ -0,0 +1,112 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file 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 { val renderer = new DLSyntaxObjectRenderer() println("\nDL rules:") tbox.foreach(x => println(renderer.render(x))) - println(s"Unsafe roles: $unsafe") + println("\nUnsafe roles:") + println(unsafe) /* Ontology convertion into LP rules */ val datalog = for { -- cgit v1.2.3