From 7d6021c6c706c108b5b11d52071acd104c7d4ff8 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Sat, 30 Jan 2021 10:59:38 +0000
Subject: Delay import of data files (#7)

This should partially solve the issue with data import through OWLAPI
being too slow.
---
 .../scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 82 ++--------------------
 1 file changed, 5 insertions(+), 77 deletions(-)

(limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
index 96a953f..3777c6b 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
@@ -12,17 +12,12 @@ import org.semanticweb.owlapi.model.{
 }
 
 import tech.oxfordsemantic.jrdfox.logic.datalog.{
-  Rule,
   BodyFormula,
-  TupleTableAtom,
-  Negation
-}
-import tech.oxfordsemantic.jrdfox.logic.expression.{
-  Term,
-  Variable,
-  // Resource,
-  IRI
+  Negation,
+  Rule,
+  TupleTableAtom
 }
+import tech.oxfordsemantic.jrdfox.logic.expression.{IRI, Term, Variable}
 
 import implicits.JavaCollections._
 
@@ -78,73 +73,6 @@ class CanonicalModel(val ontology: RSAOntology) {
       })
   }
 
-  /** Top axiomatization
-    *
-    * Corresponding to the following rules:
-    *
-    * ```
-    *   [?a, rdf:type, owl:Thing] :- [?a, rdf:type, ?b] .
-    *   [?a, rdf:type, owl:Thing], [?b, rdf:type, owl:Thing] :- [?a, ?r, ?b], FILTER(?r != rdf:type).
-    * ```
-    *
-    * @note this is a naïve implementation of top axiomatization and
-    * might change in the future. The ideal solution would be for RDFox
-    * to take care of this, but at the time of writing this is not
-    * compatible with the way we are using the tool.
-    */
-  private val topAxioms: List[Rule] = {
-    val varA = Variable.create("A")
-    val varR = Variable.create("R")
-    val varB = Variable.create("B")
-    List(
-      Rule.create(
-        RSA.Thing(varA),
-        TupleTableAtom.rdf(varA, IRI.RDF_TYPE, varB)
-      ),
-      Rule.create(
-        List(RSA.Thing(varA), RSA.Thing(varB)),
-        List(
-          TupleTableAtom.rdf(varA, varR, varB),
-          FilterAtom.create(FunctionCall.notEqual(varR, IRI.RDF_TYPE))
-        )
-      )
-    )
-  }
-
-  /** Equality axiomatization
-    *
-    * Introduce reflexivity, simmetry and transitivity rules for a naïve
-    * equality axiomatization.
-    *
-    * @note that we are using a custom `congruent` predicate to indicate
-    * equality. This is to avoid interfering with the standard
-    * `owl:sameAs`.
-    *
-    * @note RDFox is able to handle equality in a "smart" way, but this
-    * behaviour is incompatible with other needed features like
-    * negation-as-failure and aggregates.
-    *
-    * @todo to complete the equality axiomatization we need to introduce
-    * substitution rules to explicate a complete "equality" semantics.
-    */
-  private val equalityAxioms: List[Rule] = {
-    val varX = Variable.create("X")
-    val varY = Variable.create("Y")
-    val varZ = Variable.create("Z")
-    List(
-      // Reflexivity
-      Rule.create(RSA.Congruent(varX, varX), RSA.Thing(varX)),
-      // Simmetry
-      Rule.create(RSA.Congruent(varY, varX), RSA.Congruent(varX, varY)),
-      // Transitivity
-      Rule.create(
-        RSA.Congruent(varX, varZ),
-        RSA.Congruent(varX, varY),
-        RSA.Congruent(varY, varZ)
-      )
-    )
-  }
-
   val (facts, rules): (List[TupleTableAtom], List[Rule]) = {
     // Compute rules from ontology axioms
     val (facts, rules) = {
@@ -156,7 +84,7 @@ class CanonicalModel(val ontology: RSAOntology) {
     }
     (
       facts.flatten,
-      rolesAdditionalRules ::: topAxioms ::: equalityAxioms ::: rules.flatten
+      rolesAdditionalRules ::: rules.flatten
     )
   }
 
-- 
cgit v1.2.3