From 87471bc45d1824cbef40dc1cfcc4e5e26e83dcea Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 21 Oct 2020 19:05:27 +0200 Subject: Fix bug in conflict set computation --- src/main/scala/rsacomb/RSAOntology.scala | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'src/main/scala/rsacomb/RSAOntology.scala') 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 { .map(_.getInverseProperty) invSuperRoles - .flatMap( - reasoner.subObjectProperties(_).collect(Collectors.toSet()).asScala + .flatMap(x => + reasoner + .subObjectProperties(x) + .collect(Collectors.toSet()) + .asScala + .addOne(x) ) .filterNot(_.isOWLBottomObjectProperty()) + .filterNot(_.getInverseProperty.isOWLTopObjectProperty()) } def self(axiom: OWLSubClassOfAxiom): Set[Term] = { -- cgit v1.2.3