diff options
| -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 = |