1 files changed, 43 insertions, 0 deletions

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
@@ -380,6 +380,24 @@ trait RSAOntology {
                 )
             ),
             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,
                 IRI.create(pred ++ RSASuffix.Backward.getSuffix ++ "_inv"),
@@ -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
+              )
             )
           )
         }