Fix automatic query building

The API for the SKOLEM operator is changed in RDFox but the helper
functions using it were not ported to the new syntax.

1 files changed, 1 insertions, 3 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index c7b3bf0..0e10f89 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -556,7 +556,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) {
     * [[uk.ac.ox.cs.rsacomb.RSAOntology.ask RSAOntology.ask]].
     * @note This method has been introduced mostly for debugging purposes.
     *
-    * @param cq a CQ used to compute the environment.
     * @param query query to be executed against the environment
     * @param prefixes additional prefixes for the query. It defaults to
     * an empty set.
@@ -564,7 +563,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) {
     * @return a collection of answers to the input query.
     */
   def queryDataStore(
-      cq: ConjunctiveQuery,
       query: String,
       prefixes: Prefixes = new Prefixes(),
       opts: ju.Map[String, String] = new ju.HashMap[String, String]()
@@ -588,7 +586,7 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) {
       cq: ConjunctiveQuery
   ): Option[Seq[(Long, Seq[Resource])]] = {
     val query = RDFoxUtil.buildDescriptionQuery("QM", cq.variables.length)
-    queryDataStore(cq, query, RSA.Prefixes)
+    queryDataStore(query, RSA.Prefixes)
   }
 
   def self(axiom: OWLSubClassOfAxiom): Set[Term] = {