@Override public SortedSet<OWLClassExpression> getSuperClasses(OWLClassExpression concept, boolean direct) { return rc.getSuperClasses(concept); }
/** * if pos ex derive from one class, then neg ex are taken from a superclass * CURRENTLY SAME METHOD AS makeNegativeExamplesFromSuperClasses(OWLClass concept) * but works quite often * @param concept * @param depth PARAMETER CURRENTLY NOT USED, ONLY DIRECT SUPERCLASSES */ public void makeNegativeExamplesFromSuperClasses(OWLClass concept, int depth) { fromSuperclasses.clear(); SortedSet<OWLClassExpression> superClasses = reasoningService.getSuperClasses(concept); logger.debug("making neg Examples from " + superClasses.size() + " superclasses"); for (OWLClassExpression oneSuperClass : superClasses) { logger.debug(oneSuperClass); fromSuperclasses.addAll(reasoningService.getIndividuals(oneSuperClass)); } this.fromSuperclasses.removeAll(fullPositiveSet); logger.debug("|-neg Example from superclass: " + fromSuperclasses.size()); }
private void createBottomSet() { bottomSet = new TreeSet<>(); // BOTTOM AND BOTTOM List<OWLClassExpression> operands = Lists.<OWLClassExpression>newArrayList(df.getOWLNothing(), df.getOWLNothing()); OWLObjectIntersectionOf mc = new OWLObjectIntersectionOfImplExt(operands); bottomSet.add(mc); // speziellste Konzepte bottomSet.addAll(reasoningService.getSuperClasses(df.getOWLNothing())); // negierte allgemeinste Konzepte Set<OWLClassExpression> tmp = reasoningService.getSubClasses(df.getOWLThing()); for(OWLClassExpression c : tmp) bottomSet.add(df.getOWLObjectComplementOf(c)); // EXISTS r.BOTTOM und ALL r.BOTTOM für alle r for(OWLObjectProperty r : reasoningService.getObjectProperties()) { bottomSet.add(df.getOWLObjectAllValuesFrom(r, df.getOWLNothing())); bottomSet.add(df.getOWLObjectSomeValuesFrom(r, df.getOWLNothing())); } }
private void createTopSet() { topSet = new TreeSet<>(); // TOP OR TOP => Was soll mit Refinements passieren, die immer improper sind? List<OWLClassExpression> operands = Lists.<OWLClassExpression>newArrayList(df.getOWLThing(), df.getOWLThing()); OWLObjectUnionOf md = new OWLObjectUnionOfImplExt(operands); topSet.add(md); // allgemeinste Konzepte topSet.addAll(reasoningService.getSubClasses(df.getOWLThing())); // negierte speziellste Konzepte Set<OWLClassExpression> tmp = reasoningService.getSuperClasses(df.getOWLNothing()); for(OWLClassExpression c : tmp) topSet.add(df.getOWLObjectComplementOf(c)); // EXISTS r.TOP und ALL r.TOP für alle r for(OWLObjectProperty r : reasoningService.getObjectProperties()) { topSet.add(df.getOWLObjectAllValuesFrom(r, df.getOWLThing())); topSet.add(df.getOWLObjectSomeValuesFrom(r, df.getOWLThing())); } }
Function<E, SortedSet<E>> f; if(entityType == EntityType.CLASS) { f = e -> (SortedSet<E>) reasoner.getSuperClasses((OWLClass) e).stream() .filter(ce -> !ce.isAnonymous()) .map(OWLClassExpression::asOWLClass)
} else if (!concept.isAnonymous()) { refinements.addAll(reasoningService.getSuperClasses(concept));
Set<OWLClassExpression> superClasses = getReasoner().getSuperClasses(classToDescribe); TreeSet<OWLIndividual> superClassInstancesTmp = new TreeSet<>(getReasoner().getIndividuals()); for (OWLClassExpression superClass : superClasses) {
OWLClassExpression operand = ((OWLObjectComplementOf) concept).getOperand(); if(!operand.isAnonymous()){ tmp = reasoningService.getSuperClasses(operand);
Set<OWLClassExpression> superClasses = getReasoner().getSuperClasses(classExpressionToDescribe); TreeSet<OWLIndividual> superClassInstancesTmp = new TreeSet<>(getReasoner().getIndividuals()); for (OWLClassExpression superClass : superClasses) {