From 82b47e5601c063251e7388cdc71358bec81ce534 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 22 Sep 2020 19:32:26 +0200
Subject: Add method to compute the set of individuals in an input ontology

---
 src/main/scala/rsacomb/RSAOntology.scala | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/main/scala/rsacomb')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 309106a..4b872e5 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -33,8 +33,12 @@ trait RSAOntology {
     /* TDOO: implement method to retrieve all ontology named individuals
      */
     lazy val individuals: List[IRI] = {
-      //ontology.getIndividualsInSignature().asScala.map(_.getIRI).toList
-      List()
+      ontology
+        .getIndividualsInSignature()
+        .asScala
+        .map(_.getIRI)
+        .map(RDFoxUtil.owlapi2rdfox)
+        .toList
     }
 
     /* Steps for RSA check
@@ -197,7 +201,7 @@ trait RSAOntology {
     }
 
     def filteringProgram(query: Query): List[Rule] =
-      FilteringProgram(query, List()).rules
+      FilteringProgram(query, individuals).rules
 
   } // implicit class RSAOntology
 
-- 
cgit v1.2.3