@Override public boolean containsEntity(E e) { for (Node<E> node : nodes) { if (node.contains(e)) { return true; } } return false; }
@Override public boolean containsEntity(E e) { for (Node<E> node : nodes) { if (node.contains(e)) { return true; } } return false; }
@Override public boolean containsEntity(E e) { for (Node<E> node : nodes) { if (node.contains(e)) { return true; } } return false; }
public boolean containsEntity(E e) { for(Node<E> node : nodes) { if(node.contains(e)) { return true; } } return false; }
@Override public boolean containsEntity(E e) { for (Node<E> node : nodes) { if (node.contains(e)) { return true; } } return false; }
public boolean containsEntity(E e) { for (Node<E> node : nodes) { if (node.contains(e)) { return true; } } return false; }
@Override public boolean isSatisfiable(final OWLClassExpression description) { if (description.isAnonymous() || !isClassified()) return _reasoner.isSatisfiable(description); return !getUnsatisfiableClasses().contains((OWLClass) description); }
@Override public boolean isSatisfiable(@Nonnull OWLClassExpression classExpression) throws ReasonerInterruptedException, TimeOutException, ClassExpressionNotInProfileException, FreshEntitiesException, InconsistentOntologyException { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()).contains(getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(final OWLClassExpression description) { if (description.isAnonymous() || !isClassified()) return _reasoner.isSatisfiable(description); return !getUnsatisfiableClasses().contains((OWLClass) description); }
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); } } });
public boolean isSatisfiable(OWLClassExpression description) { if( description.isAnonymous() || !isClassified() ) { return reasoner.isSatisfiable( description ); } return !getUnsatisfiableClasses().contains( (OWLClass) description ); }
public boolean isSatisfiable(OWLClassExpression classExpression) throws ReasonerInterruptedException, TimeOutException, ClassExpressionNotInProfileException, FreshEntitiesException, InconsistentOntologyException { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()).contains(getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
public boolean isSatisfiable(OWLClassExpression classExpression) throws ReasonerInterruptedException, TimeOutException, ClassExpressionNotInProfileException, FreshEntitiesException, InconsistentOntologyException { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()).contains(getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression arg0) throws ReasonerInterruptedException, TimeOutException, ClassExpressionNotInProfileException, FreshEntitiesException, InconsistentOntologyException { if (arg0 instanceof OWLClass) { if (classified == notYetClassified) { // extract module for class return checkSatisfiability(arg0.asOWLClass()); } else { // if classified, just check return !getUnsatisfiableClasses().contains(arg0.asOWLClass()); } } else { //LogOutput.printNotSupported("Not supported: isSatisfiable not atomic class (using HermiT)"); return checkSatisfiability(arg0); //return false; } }
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); } }