diff options
Diffstat (limited to 'src/main/scala/rsacomb')
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 10 |
1 files changed, 7 insertions, 3 deletions
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 { | |||
| 33 | /* TDOO: implement method to retrieve all ontology named individuals | 33 | /* TDOO: implement method to retrieve all ontology named individuals |
| 34 | */ | 34 | */ |
| 35 | lazy val individuals: List[IRI] = { | 35 | lazy val individuals: List[IRI] = { |
| 36 | //ontology.getIndividualsInSignature().asScala.map(_.getIRI).toList | 36 | ontology |
| 37 | List() | 37 | .getIndividualsInSignature() |
| 38 | .asScala | ||
| 39 | .map(_.getIRI) | ||
| 40 | .map(RDFoxUtil.owlapi2rdfox) | ||
| 41 | .toList | ||
| 38 | } | 42 | } |
| 39 | 43 | ||
| 40 | /* Steps for RSA check | 44 | /* Steps for RSA check |
| @@ -197,7 +201,7 @@ trait RSAOntology { | |||
| 197 | } | 201 | } |
| 198 | 202 | ||
| 199 | def filteringProgram(query: Query): List[Rule] = | 203 | def filteringProgram(query: Query): List[Rule] = |
| 200 | FilteringProgram(query, List()).rules | 204 | FilteringProgram(query, individuals).rules |
| 201 | 205 | ||
| 202 | } // implicit class RSAOntology | 206 | } // implicit class RSAOntology |
| 203 | 207 | ||