From 6a29b16dee0592fdeb03b26ff87fd00d57555f78 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 30 Sep 2020 19:45:25 +0200 Subject: Add rule generation for unsafe T5 axioms for canonical model --- src/main/scala/rsacomb/Main.scala | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'src/main/scala/rsacomb/Main.scala') diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala index c6bd6a1..7900e19 100644 --- a/src/main/scala/rsacomb/Main.scala +++ b/src/main/scala/rsacomb/Main.scala @@ -52,6 +52,23 @@ object RSAComb extends App { /* Build canonical model */ //val tboxCanon = rsa.canonicalModel() + // DEBUG: print program to generate canonical model + { + import tech.oxfordsemantic.jrdfox.logic.{Variable} + import org.semanticweb.owlapi.model.parameters.Imports + import java.util.stream.{Collectors} + import scala.collection.JavaConverters._ + + val visitor = ProgramGenerator(Variable.create("x"), ontology.unsafeRoles) + val axioms = + ontology + .tboxAxioms(Imports.INCLUDED) + .collect(Collectors.toList()) + .asScala + println("Program to generate the canonical model:") + axioms.flatMap(_.accept(visitor)).foreach(println) + } + /* Load query */ val query = RDFoxUtil.parseQuery( "SELECT ?X WHERE {?X ?Y ?Z}" -- cgit v1.2.3