@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { LOGGER_.trace("getBottomObjectPropertyNode()"); checkInterrupted(); try { return getObjectPropertyNode( objectFactory_.getOwlBottomObjectProperty()); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomObjectPropertyNode()", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { LOGGER_.trace("getBottomObjectPropertyNode()"); checkInterrupted(); try { return getObjectPropertyNode( objectFactory_.getOwlBottomObjectProperty()); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomObjectPropertyNode()", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { LOGGER_.trace("getBottomObjectPropertyNode()"); checkInterrupted(); try { return getObjectPropertyNode( objectFactory_.getOwlBottomObjectProperty()); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomObjectPropertyNode()", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Void visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency entailmentInference) { final SubPropertyChain conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlTopObjectProperty(), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlTopObjectProperty(); inferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( elkFactory_.getOwlThing(), elkFactory_.getOwlTopObjectProperty()); inferenceFactory_.getElkClassInclusionExistentialComposition( Arrays.asList(elkFactory_.getOwlThing(), elkFactory_.getOwlThing()), Arrays.asList(elkFactory_.getOwlTopObjectProperty()), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlBottomObjectProperty(); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getObjectSomeValuesFrom( elkFactory_.getOwlBottomObjectProperty(), elkFactory_.getOwlThing()), elkFactory_.getOwlNothing()); return null; }
@Override public Void visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency entailmentInference) { final SubPropertyChain conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlTopObjectProperty(), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlTopObjectProperty(); inferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( elkFactory_.getOwlThing(), elkFactory_.getOwlTopObjectProperty()); inferenceFactory_.getElkClassInclusionExistentialComposition( Arrays.asList(elkFactory_.getOwlThing(), elkFactory_.getOwlThing()), Arrays.asList(elkFactory_.getOwlTopObjectProperty()), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlBottomObjectProperty(); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getObjectSomeValuesFrom( elkFactory_.getOwlBottomObjectProperty(), elkFactory_.getOwlThing()), elkFactory_.getOwlNothing()); return null; }
@Override public Void visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency entailmentInference) { final SubPropertyChain conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlTopObjectProperty(), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlTopObjectProperty(); inferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( elkFactory_.getOwlThing(), elkFactory_.getOwlTopObjectProperty()); inferenceFactory_.getElkClassInclusionExistentialComposition( Arrays.asList(elkFactory_.getOwlThing(), elkFactory_.getOwlThing()), Arrays.asList(elkFactory_.getOwlTopObjectProperty()), elkFactory_.getOwlBottomObjectProperty()); inferenceFactory_.getElkClassInclusionOwlBottomObjectProperty(); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getObjectSomeValuesFrom( elkFactory_.getOwlBottomObjectProperty(), elkFactory_.getOwlThing()), elkFactory_.getOwlNothing()); return null; }
@Override public ElkObjectProperty getOwlBottomObjectProperty() { return filter(factory_.getOwlBottomObjectProperty()); }
@Override public ElkObjectProperty getOwlBottomObjectProperty() { return filter(factory_.getOwlBottomObjectProperty()); }
@Override public ElkObjectProperty getOwlBottomObjectProperty() { return filter(factory_.getOwlBottomObjectProperty()); }
@Override public OrphanTaxonomyNode<ElkObjectProperty> createNode( final Iterable<? extends ElkObjectProperty> members, final int size, final Taxonomy<ElkObjectProperty> taxonomy) { return new OrphanTaxonomyNode<ElkObjectProperty>( members, size, elkFactory_.getOwlBottomObjectProperty(), taxonomy); } });
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
@Override public OrphanTaxonomyNode<ElkObjectProperty> createNode( final Iterable<? extends ElkObjectProperty> members, final int size, final Taxonomy<ElkObjectProperty> taxonomy) { return new OrphanTaxonomyNode<ElkObjectProperty>( members, size, elkFactory_.getOwlBottomObjectProperty(), taxonomy); } });
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
@Override public OrphanTaxonomyNode<ElkObjectProperty> createNode( final Iterable<? extends ElkObjectProperty> members, final int size, final Taxonomy<ElkObjectProperty> taxonomy) { return new OrphanTaxonomyNode<ElkObjectProperty>( members, size, elkFactory_.getOwlBottomObjectProperty(), taxonomy); } });
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }