From 6b9cbc0d5d9232fcf02266439507603303b3852b Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 Nov 2020 17:39:42 +0000 Subject: Add missing rule generated per role This is temporarily required while we reorganize the way suffixes for roles are handled. --- src/main/scala/rsacomb/RSAOntology.scala | 43 ++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index 5681843..03b3765 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala @@ -379,6 +379,24 @@ trait RSAOntology { varY ) ), + Rule.create( + TupleTableAtom.rdf(varX, IRI.create(pred ++ "_inv"), varY), + TupleTableAtom + .rdf( + varX, + IRI.create(pred ++ RSASuffix.Forward.getSuffix ++ "_inv"), + varY + ) + ), + Rule.create( + TupleTableAtom.rdf(varX, IRI.create(pred ++ "_inv"), varY), + TupleTableAtom + .rdf( + varX, + IRI.create(pred ++ RSASuffix.Backward.getSuffix ++ "_inv"), + varY + ) + ), Rule.create( TupleTableAtom.rdf( varY, @@ -403,6 +421,31 @@ trait RSAOntology { IRI.create(pred ++ RSASuffix.Backward.getSuffix), varY ) + ), + Rule.create( + TupleTableAtom.rdf( + varY, + IRI.create(pred ++ RSASuffix.Backward.getSuffix), + varX + ), + TupleTableAtom + .rdf( + varX, + IRI.create(pred ++ RSASuffix.Forward.getSuffix ++ "_inv"), + varY + ) + ), + Rule.create( + TupleTableAtom.rdf( + varY, + IRI.create(pred ++ RSASuffix.Forward.getSuffix), + varX + ), + TupleTableAtom.rdf( + varX, + IRI.create(pred ++ RSASuffix.Backward.getSuffix ++ "_inv"), + varY + ) ) ) } -- cgit v1.2.3