diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 12:25:24 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 12:25:24 +0200 |
| commit | c4bef39700410c6a86b8d8cb225a0ac9d3692bc1 (patch) | |
| tree | 3a404ac618d67d937582f492f83e8aa17b82af87 | |
| parent | 5479b8c7876894b9b9fa8c33242d23fb1db498aa (diff) | |
| download | RSAComb-c4bef39700410c6a86b8d8cb225a0ac9d3692bc1.tar.gz RSAComb-c4bef39700410c6a86b8d8cb225a0ac9d3692bc1.zip | |
Temporary remove `roles` from RSAOntology
This is not needed at the time of writing. Also it is not clear why I
decided to instantiate it with the RBox roles only.
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index c1d3ba9..2941440 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala | |||
| @@ -48,13 +48,13 @@ trait RSAOntology { | |||
| 48 | .toList | 48 | .toList |
| 49 | } | 49 | } |
| 50 | 50 | ||
| 51 | private val roles: Set[OWLObjectPropertyExpression] = { | 51 | // private val roles: Set[OWLObjectPropertyExpression] = { |
| 52 | ontology | 52 | // ontology |
| 53 | .rboxAxioms(Imports.INCLUDED) | 53 | // .rboxAxioms(Imports.INCLUDED) |
| 54 | .collect(Collectors.toSet()) | 54 | // .collect(Collectors.toSet()) |
| 55 | .asScala | 55 | // .asScala |
| 56 | .flatMap(_.objectPropertyExpressionsInSignature) | 56 | // .flatMap(_.objectPropertyExpressionsInSignature) |
| 57 | } | 57 | // } |
| 58 | 58 | ||
| 59 | // OWLAPI reasoner for same easier tasks | 59 | // OWLAPI reasoner for same easier tasks |
| 60 | private val reasoner = | 60 | private val reasoner = |