@Override public synchronized Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { return r.getBottomObjectPropertyNode(); } }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { return delegate_.getBottomObjectPropertyNode(); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { return delegate_.getBottomObjectPropertyNode(); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { return delegate_.getBottomObjectPropertyNode(); }
/** * Gets the {@code Node} corresponding to the bottom node (containing * {@code owl:bottomObjectProperty}) in the object property hierarchy. * * @return A {@code Node}, containing {@code owl:bottomObjectProperty}, that is the bottom node * in the object property hierarchy. This {@code Node} is essentially equal to the * {@code Node} that will be returned by calling * {@link #getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression)} * with a parameter of {@code owl:bottomObjectProperty}. */ default Stream<OWLObjectPropertyExpression> bottomObjectPropertyNode() { return getBottomObjectPropertyNode().entities(); }
/** * Gets the {@code Node} corresponding to the bottom node (containing * {@code owl:bottomObjectProperty}) in the object property hierarchy. * * @return A {@code Node}, containing {@code owl:bottomObjectProperty}, that is the bottom node * in the object property hierarchy. This {@code Node} is essentially equal to the * {@code Node} that will be returned by calling * {@link #getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression)} * with a parameter of {@code owl:bottomObjectProperty}. */ default Stream<OWLObjectPropertyExpression> bottomObjectPropertyNode() { return getBottomObjectPropertyNode().entities(); }
/** * Gets the {@code Node} corresponding to the bottom node (containing * {@code owl:bottomObjectProperty}) in the object property hierarchy. * * @return A {@code Node}, containing {@code owl:bottomObjectProperty}, that is the bottom node * in the object property hierarchy. This {@code Node} is essentially equal to the * {@code Node} that will be returned by calling * {@link #getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression)} * with a parameter of {@code owl:bottomObjectProperty}. */ default Stream<OWLObjectPropertyExpression> bottomObjectPropertyNode() { return getBottomObjectPropertyNode().entities(); }
public void run() { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
public void run() { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
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 highlightPropertyIfUnsatisfiable(final OWLEntity entity, final StyledDocument doc, final int tokenStartIndex, final int tokenLength) { try { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY, () -> { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } }); } catch (Exception e) { logger.warn("An error occurred whilst highlighting an unsatisfiable property: {}", e); } }
private void highlightPropertyIfUnsatisfiable(final OWLEntity entity, final StyledDocument doc, final int tokenStartIndex, final int tokenLength) { try { getOWLModelManager().getReasonerPreferences() .executeTask(OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY, () -> { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if (!consistent || reasoner.getBottomObjectPropertyNode() .contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } }); } catch (Exception e) { logger.warn("An error occurred whilst highlighting an unsatisfiable property: {}", e); } }