public NodeSet<OWLClass> getTypes(OWLNamedIndividual arg0, boolean arg1) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getTypes(arg0, arg1); }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLClass> getTypes(OWLNamedIndividual ind) { return getTypes(ind, false); }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLClass> getTypes(OWLNamedIndividual ind) { return getTypes(ind, false); }
@Override public synchronized NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getTypes(ind, direct); }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLClass> getTypes(OWLNamedIndividual ind) { return getTypes(ind, false); }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLClass> types(OWLNamedIndividual ind) { return getTypes(ind, false).entities(); }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLClass> types(OWLNamedIndividual ind) { return getTypes(ind, false).entities(); }
public Set<OWLObject> getParents(OWLObject object) { if (reasoner != null && typeNodes.containsKey(object)) { return Collections.emptySet(); } else { OWLNamedIndividual ind = (OWLNamedIndividual) object; Set<OWLObject> clses = new HashSet<>(); for (OWLClass cls : reasoner.getTypes(ind, showDirect).getFlattened()) { clses.add(cls); } return clses; } }
/** * @param ind The individual whose types are to be retrieved. * @return a {@code NodeSet} containing named classes such that for each named class {@code C} * in the node set, the set of reasoner axioms entails {@code ClassAssertion(C, ind)}. * <br> * @see OWLReasoner#getTypes(OWLNamedIndividual, boolean) Gets the named classes which are * (potentially direct) types of the specified named individual. The classes are returned * as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLClass> types(OWLNamedIndividual ind) { return getTypes(ind, false).entities(); }
public Set<OWLObject> getParents(OWLObject object) { if (reasoner != null && typeNodes.containsKey(object)) { return Collections.emptySet(); } else { OWLNamedIndividual ind = (OWLNamedIndividual) object; Set<OWLObject> clses = new HashSet<OWLObject>(); for (OWLClass cls : reasoner.getTypes(ind, showDirect).getFlattened()) { clses.add(cls); } return clses; } }
public Set<OWLObject> getParents(OWLObject object) { if (reasoner != null && typeNodes.containsKey(object)) { return Collections.emptySet(); } else { OWLNamedIndividual ind = (OWLNamedIndividual) object; Set<OWLObject> clses = new HashSet<OWLObject>(); for (OWLClass cls : reasoner.getTypes(ind, showDirect).getFlattened()) { clses.add(cls); } return clses; } }
@Override public Collection<OWLClass> getTypes(OWLNamedIndividual i) { return reasoner.getTypes(i, true).getFlattened(); }
@Override protected void addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result) { reasoner.getTypes(entity, false).entities() .forEach(t -> result.add(dataFactory.getOWLClassAssertionAxiom(t, entity))); }
@Override protected void addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result) { reasoner.getTypes(entity, false).entities() .forEach(t -> result.add(dataFactory.getOWLClassAssertionAxiom(t, entity))); }
@Override protected void addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result) { reasoner.getTypes(entity, false).entities() .forEach(t -> result.add(dataFactory.getOWLClassAssertionAxiom(t, entity))); }
protected void addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result) { for (OWLClass type : reasoner.getTypes(entity, false).getFlattened()) { result.add(dataFactory.getOWLClassAssertionAxiom(type, entity)); } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }