2 files changed, 8 insertions, 4 deletions

diff --git a/examples/example1.owl b/examples/example1.owl
index 88de981..75a464e 100644
--- a/examples/example1.owl
+++ b/examples/example1.owl
@@ -77,4 +77,4 @@
         <rdfs:subPropertyOf rdf:resource="#T" />
     </owl:ObjectProperty> 
 
-</rdf:RDF>
\ No newline at end of file
+</rdf:RDF>
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