/** * Determines if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual}. Note that this method is the dual of * {@link #isAnonymous()}. * * @return {@code true} if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual} because it is a named * individuals, otherwise {@code false} */ @Override default boolean isNamed() { return isOWLNamedIndividual(); }
/** * Determines if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual}. Note that this method is the dual of * {@link #isAnonymous()}. * * @return {@code true} if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual} because it is a named * individuals, otherwise {@code false} */ @Override default boolean isNamed() { return isOWLNamedIndividual(); }
/** * Determines if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual}. Note that this method is the dual of * {@link #isAnonymous()}. * * @return {@code true} if this individual is an instance of * {@link org.semanticweb.owlapi.model.OWLNamedIndividual} because it is a named * individuals, otherwise {@code false} */ @Override default boolean isNamed() { return isOWLNamedIndividual(); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<>(); Set<OWLDifferentIndividualsAxiom> processed = new HashSet<>(); List<OWLNamedIndividual> stack = new LinkedList<>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); Stream<OWLDifferentIndividualsAxiom> axioms = Imports.INCLUDED.stream(getRootOntology()) .flatMap(o -> o .differentIndividualAxioms(currentInd)).filter(processed::add); axioms.forEach(ax -> ax.individuals().filter(i -> i.isOWLNamedIndividual()).map(i -> i .asOWLNamedIndividual()).forEach(i -> { if (inds.add(i)) { stack.add(i); } })); } if (inds.isEmpty()) { inds.add(ind); } return new OWLNamedIndividualNodeSet( asUnorderedSet(inds.stream().map(this::getSameIndividuals))); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<>(); Set<OWLDifferentIndividualsAxiom> processed = new HashSet<>(); List<OWLNamedIndividual> stack = new LinkedList<>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); Stream<OWLDifferentIndividualsAxiom> axioms = Imports.INCLUDED.stream(getRootOntology()) .flatMap(o -> o .differentIndividualAxioms(currentInd)).filter(processed::add); axioms.forEach(ax -> ax.individuals().filter(i -> i.isOWLNamedIndividual()).map(i -> i .asOWLNamedIndividual()).forEach(i -> { if (inds.add(i)) { stack.add(i); } })); } if (inds.isEmpty()) { inds.add(ind); } return new OWLNamedIndividualNodeSet( asUnorderedSet(inds.stream().map(this::getSameIndividuals))); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<>(); Set<OWLDifferentIndividualsAxiom> processed = new HashSet<>(); List<OWLNamedIndividual> stack = new LinkedList<>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); Stream<OWLDifferentIndividualsAxiom> axioms = Imports.INCLUDED.stream(getRootOntology()) .flatMap(o -> o .differentIndividualAxioms(currentInd)).filter(processed::add); axioms.forEach(ax -> ax.individuals().filter(i -> i.isOWLNamedIndividual()).map(i -> i .asOWLNamedIndividual()).forEach(i -> { if (inds.add(i)) { stack.add(i); } })); } if (inds.isEmpty()) { inds.add(ind); } return new OWLNamedIndividualNodeSet( asUnorderedSet(inds.stream().map(this::getSameIndividuals))); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<>(); Set<OWLDifferentIndividualsAxiom> processed = new HashSet<>(); List<OWLNamedIndividual> stack = new LinkedList<>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); Stream<OWLDifferentIndividualsAxiom> axioms = Imports.INCLUDED.stream(getRootOntology()) .flatMap(o -> o .differentIndividualAxioms(currentInd)).filter(processed::add); axioms.forEach(ax -> ax.individuals().filter(i -> i.isOWLNamedIndividual()).map(i -> i .asOWLNamedIndividual()).forEach(i -> { if (inds.add(i)) { stack.add(i); } })); } if (inds.isEmpty()) { inds.add(ind); } return new OWLNamedIndividualNodeSet( asUnorderedSet(inds.stream().map(this::getSameIndividuals))); }