public Set<OWLObjectProperty> getChildren(OWLObjectProperty objectProperty) { Set<OWLObjectPropertyExpression> subs = getReasoner().getSubObjectProperties(objectProperty, true).getFlattened(); subs.remove(objectProperty); Set<OWLObjectProperty> children = new HashSet<OWLObjectProperty>(); for (OWLObjectPropertyExpression p : subs) { if (p instanceof OWLObjectProperty) { children.add((OWLObjectProperty) p); } } return children; }
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubDataPropertyOfAxiom> result) { for (OWLDataProperty prop : reasoner.getSuperDataProperties(entity, true).getFlattened()) { result.add(dataFactory.getOWLSubDataPropertyOfAxiom(entity, prop)); } }
@Override protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDisjointClassesAxiom> result) { for (OWLClass disjoint : reasoner.getDisjointClasses(entity).getFlattened()) { result.add(dataFactory.getOWLDisjointClassesAxiom(entity, disjoint)); } }
@Override protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDisjointClassesAxiom> result) { for (OWLClass disjoint : reasoner.getDisjointClasses(entity).getFlattened()) { result.add(dataFactory.getOWLDisjointClassesAxiom(entity, disjoint)); } }
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubObjectPropertyOfAxiom> result) { for (OWLObjectProperty prop : reasoner.getSuperObjectProperties(entity, true).getFlattened()) { result.add(dataFactory.getOWLSubObjectPropertyOfAxiom(entity, prop)); } }
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)); } }
@Override public Set<OWLClass> getDescendants(OWLClass node) { logger.debug("getDescendants(" + node + ")"); try { return getReasoner().getSubClasses(node, false).getFlattened(); } catch (OWLReasonerRuntimeException e) { logger.error(e.getMessage(), e); } return Collections.emptySet(); }
@Override protected Set<OWLClass> doOperation() { return session.getReasoner().getSubClasses(d, false).getFlattened(); } };
@Override public Set<OWLClass> getAncestors(OWLClass node) { try{ return getReasoner().getSuperClasses(node, false).getFlattened(); } catch (OWLReasonerRuntimeException e) { logger.error(e.getMessage(), e); } return Collections.emptySet(); }
@Override public Set<OWLClass> getParents(OWLClass node) { try { return getReasoner().getSuperClasses(node, true).getFlattened(); } catch (OWLReasonerRuntimeException e) { logger.error(e.getMessage(), e); } return Collections.emptySet(); }
public Set<OWLClass> getParents(OWLClass object) { if (object.isOWLNothing()){ return Collections.singleton(owlThing); } else if (!getReasoner().isSatisfiable(object)){ return Collections.singleton(owlNothing); } Set<OWLClass> parents = getReasoner().getSuperClasses(object, true).getFlattened(); parents.remove(object); return parents; }
public Set<OWLClass> getDescendants(OWLClass object) { getReadLock().lock(); try { return getReasoner().getSubClasses(object, false).getFlattened(); } finally { getReadLock().unlock(); } }
public Set<OWLClass> getAncestors(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSuperClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
public Set<OWLClass> getAncestors(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSuperClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
public Set<OWLClass> getDescendants(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSubClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
private void populateDataSubProperties(OWLDataProperty dp, OWLReasoner r, Model m) { for (OWLDataProperty subDP : r.getSubDataProperties(dp, false) .getFlattened()) { log.debug(subDP + " data sub-property of " + dp); m.add(toResource(subDP), OWL_SUBPROPERTY_OF, toResource(dp)); } // getSubDataProperties is strict, so add the reflexive statement. log.debug(dp + " data sub-property of " + dp); m.add(toResource(dp), OWL_SUBPROPERTY_OF, toResource(dp)); }
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 populateObjectProperties(OWLReasoner r, Model m) { OWLObjectPropertyExpression bottom = r.getBottomObjectPropertyNode() .getRepresentativeElement(); populateObjectProperty(bottom, r, m); for (OWLObjectPropertyExpression op : r.getSuperObjectProperties( bottom, false).getFlattened()) { populateObjectProperty(op, r, m); } }
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; } } }