diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 19:05:27 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 19:05:27 +0200 |
| commit | 87471bc45d1824cbef40dc1cfcc4e5e26e83dcea (patch) | |
| tree | 942d4f19475891848d39fcdd9b066cf6e6ad7ee9 /src/main/scala/rsacomb/RSAOntology.scala | |
| parent | c4bef39700410c6a86b8d8cb225a0ac9d3692bc1 (diff) | |
| download | RSAComb-87471bc45d1824cbef40dc1cfcc4e5e26e83dcea.tar.gz RSAComb-87471bc45d1824cbef40dc1cfcc4e5e26e83dcea.zip | |
Fix bug in conflict set computation
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index 2941440..9e45c28 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala | |||
| @@ -264,10 +264,15 @@ trait RSAOntology { | |||
| 264 | .map(_.getInverseProperty) | 264 | .map(_.getInverseProperty) |
| 265 | 265 | ||
| 266 | invSuperRoles | 266 | invSuperRoles |
| 267 | .flatMap( | 267 | .flatMap(x => |
| 268 | reasoner.subObjectProperties(_).collect(Collectors.toSet()).asScala | 268 | reasoner |
| 269 | .subObjectProperties(x) | ||
| 270 | .collect(Collectors.toSet()) | ||
| 271 | .asScala | ||
| 272 | .addOne(x) | ||
| 269 | ) | 273 | ) |
| 270 | .filterNot(_.isOWLBottomObjectProperty()) | 274 | .filterNot(_.isOWLBottomObjectProperty()) |
| 275 | .filterNot(_.getInverseProperty.isOWLTopObjectProperty()) | ||
| 271 | } | 276 | } |
| 272 | 277 | ||
| 273 | def self(axiom: OWLSubClassOfAxiom): Set[Term] = { | 278 | def self(axiom: OWLSubClassOfAxiom): Set[Term] = { |