/** * Return the {@code Node} containing equivalent classes of the given * {@link ElkClassExpression}. Calling of this method may trigger the * computation of the taxonomy, if it has not been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to return the * {@link Node} * @return the set of {@link Node} whose members are {@link ElkClass}es * equivalent to the given {@link ElkClassExpression} * @throws ElkInconsistentOntologyException * if the ontology is inconsistent * @throws ElkException * if the result cannot be computed */ public synchronized Node<ElkClass> getEquivalentClasses( ElkClassExpression classExpression) throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { return getTaxonomyNode((ElkClass) classExpression); } // else return queryEquivalentClasses(classExpression); }
/** * Return the {@code Node} containing equivalent classes of the given * {@link ElkClassExpression}. Calling of this method may trigger the * computation of the taxonomy, if it has not been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to return the * {@link Node} * @return the set of {@link Node} whose members are {@link ElkClass}es * equivalent to the given {@link ElkClassExpression} * @throws ElkInconsistentOntologyException * if the ontology is inconsistent * @throws ElkException * if the result cannot be computed */ public synchronized Node<ElkClass> getEquivalentClasses( ElkClassExpression classExpression) throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { return getTaxonomyNode((ElkClass) classExpression); } // else return queryEquivalentClasses(classExpression); }
/** * Return the {@code Node} containing equivalent classes of the given * {@link ElkClassExpression}. Calling of this method may trigger the * computation of the taxonomy, if it has not been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to return the * {@link Node} * @return the set of {@link Node} whose members are {@link ElkClass}es * equivalent to the given {@link ElkClassExpression} * @throws ElkInconsistentOntologyException * if the ontology is inconsistent * @throws ElkException * if the result cannot be computed */ public synchronized Node<ElkClass> getEquivalentClasses( ElkClassExpression classExpression) throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { return getTaxonomyNode((ElkClass) classExpression); } // else return queryEquivalentClasses(classExpression); }
/** * Check if the given {@link ElkClassExpression} is satisfiable, that is, if * it can possibly have instances. {@link ElkClassExpression}s are not * satisfiable if they are equivalent to {@code owl:Nothing}. A satisfiable * {@link ElkClassExpression} is also called consistent or coherent. Calling * of this method may trigger the computation of the taxonomy, if it has not * been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to check * satisfiability * @return {@code true} if the given input is satisfiable * @throws ElkException * if the result cannot be computed */ public synchronized boolean isSatisfiable( ElkClassExpression classExpression) throws ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return !queryNode.contains(getElkFactory().getOwlNothing()); } return querySatisfiability(classExpression); }
/** * Check if the given {@link ElkClassExpression} is satisfiable, that is, if * it can possibly have instances. {@link ElkClassExpression}s are not * satisfiable if they are equivalent to {@code owl:Nothing}. A satisfiable * {@link ElkClassExpression} is also called consistent or coherent. Calling * of this method may trigger the computation of the taxonomy, if it has not * been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to check * satisfiability * @return {@code true} if the given input is satisfiable * @throws ElkException * if the result cannot be computed */ public synchronized boolean isSatisfiable( ElkClassExpression classExpression) throws ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return !queryNode.contains(getElkFactory().getOwlNothing()); } return querySatisfiability(classExpression); }
/** * Check if the given {@link ElkClassExpression} is satisfiable, that is, if * it can possibly have instances. {@link ElkClassExpression}s are not * satisfiable if they are equivalent to {@code owl:Nothing}. A satisfiable * {@link ElkClassExpression} is also called consistent or coherent. Calling * of this method may trigger the computation of the taxonomy, if it has not * been done yet. * * @param classExpression * the {@link ElkClassExpression} for which to check * satisfiability * @return {@code true} if the given input is satisfiable * @throws ElkException * if the result cannot be computed */ public synchronized boolean isSatisfiable( ElkClassExpression classExpression) throws ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return !queryNode.contains(getElkFactory().getOwlNothing()); } return querySatisfiability(classExpression); }
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSubNodes()
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSubNodes()
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSuperNodes()
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSuperNodes()
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSubNodes()
throws ElkInconsistentOntologyException, ElkException { if (classExpression instanceof ElkClass) { final TaxonomyNode<ElkClass> queryNode = getTaxonomyNode( (ElkClass) classExpression); return direct ? queryNode.getDirectSuperNodes()