diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:32:26 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:46:48 +0200 |
| commit | 82b47e5601c063251e7388cdc71358bec81ce534 (patch) | |
| tree | 472ef46d8088a85fe27f591586cbc4f8ad8bc8dc /src/main | |
| parent | 76287688a368174790e320ce4150f28939233216 (diff) | |
| download | RSAComb-82b47e5601c063251e7388cdc71358bec81ce534.tar.gz RSAComb-82b47e5601c063251e7388cdc71358bec81ce534.zip | |
Add method to compute the set of individuals in an input ontology
Diffstat (limited to 'src/main')
| -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 | ||