public Matcher(TracingProof inferences, ElkObject.Factory elkObjectFactory, ElkInferenceProducer elkInferenceProducer) { this(inferences, elkObjectFactory, new ElkInferenceOptimizedProducingFactory(elkInferenceProducer, elkObjectFactory)); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, ElkClassExpression... classExpressions) { return getElkClassInclusionExistentialTransitivity(transitiveProperty, Arrays.asList(classExpressions)); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return getElkClassInclusionHierarchy(Arrays.asList(expressions)); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { classExpressions = removeRepetitions(classExpressions); if (classExpressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionExistentialTransitivity( transitiveProperty, classExpressions); } return null; }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return getElkPropertyInclusionHierarchy(subExpression, Arrays.asList(expressions)); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionHierarchy(expressions); } return null; }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return getElkPropertyInclusionHierarchy(subExpression, Arrays.asList(expressions)); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { classExpressions = removeRepetitions(classExpressions); if (classExpressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionExistentialTransitivity( transitiveProperty, classExpressions); } return null; }
private ReasonerElkProof(Reasoner reasoner, ElkAxiom goal, ElkObject.Factory elkFactory) throws ElkException { this.reasoner_ = reasoner; this.inferenceFactory_ = new ElkInferenceOptimizedProducingFactory(this, elkFactory); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, ElkClassExpression... classExpressions) { return getElkClassInclusionExistentialTransitivity(transitiveProperty, Arrays.asList(classExpressions)); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return getElkClassInclusionHierarchy(Arrays.asList(expressions)); }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return getElkPropertyInclusionHierarchy(subExpression, Arrays.asList(expressions)); }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 1) {// otherwise the inference is trivial super.getElkPropertyInclusionHierarchy(subExpression, expressions); } return null; }
private ReasonerElkProof(Reasoner reasoner, ElkAxiom goal, ElkObject.Factory elkFactory) throws ElkException { this.reasoner_ = reasoner; this.inferenceFactory_ = new ElkInferenceOptimizedProducingFactory(this, elkFactory); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, ElkClassExpression... classExpressions) { return getElkClassInclusionExistentialTransitivity(transitiveProperty, Arrays.asList(classExpressions)); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return getElkClassInclusionHierarchy(Arrays.asList(expressions)); }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 1) {// otherwise the inference is trivial super.getElkPropertyInclusionHierarchy(subExpression, expressions); } return null; }
public Matcher(TracingProof inferences, ElkObject.Factory elkObjectFactory, ElkInferenceProducer elkInferenceProducer) { this(inferences, elkObjectFactory, new ElkInferenceOptimizedProducingFactory(elkInferenceProducer, elkObjectFactory)); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionHierarchy(expressions); } return null; }
public Matcher(TracingProof inferences, ElkObject.Factory elkObjectFactory, ElkInferenceProducer elkInferenceProducer) { this(inferences, elkObjectFactory, new ElkInferenceOptimizedProducingFactory(elkInferenceProducer, elkObjectFactory)); }