public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }
public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }
public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }
/** * 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); }
@Override public Void getActualOutput() throws Exception { final Reasoner reasoner = getReasoner(); TestUtils.provabilityTest(reasoner, null, reasoner.getElkFactory(), manifest.getInput().getQuery()); return null; }
@Override public void accept(TracingTestVisitor visitor) throws Exception { if (reasoner_.isInconsistent()) { Factory elkFactory = reasoner_.getElkFactory(); visitor.testSubsumption(elkFactory.getOwlThing(), elkFactory.getOwlNothing());
throws ElkException { final ElkObject.Factory elkFactory = reasoner.getElkFactory();
this.owlOntologymanager_.addOntologyChangeProgessListener( ontologyChangeProgressListener_); this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();
this.owlOntologymanager_.addOntologyChangeProgessListener( ontologyChangeProgressListener_); this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();
this.owlOntologymanager_.addOntologyChangeProgessListener( ontologyChangeProgressListener_); this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();