@Override public Integer visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return combinedHashCode( hashCode( OwlThingInconsistencyEntailsOntologyInconsistency.class), hashCode(owlThingInconsistencyEntailsOntologyInconsistency .getReason())); }
@Override public Integer visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return combinedHashCode( hashCode( OwlThingInconsistencyEntailsOntologyInconsistency.class), hashCode(owlThingInconsistencyEntailsOntologyInconsistency .getReason())); }
@Override public Integer visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return combinedHashCode( hashCode( OwlThingInconsistencyEntailsOntologyInconsistency.class), hashCode(owlThingInconsistencyEntailsOntologyInconsistency .getReason())); }
@Override public Void visit( final OwlThingInconsistencyEntailsOntologyInconsistency entailmentInference) { final ClassInconsistency conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlThing()); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getOwlNothing()); return null; }
@Override public Void visit( final OwlThingInconsistencyEntailsOntologyInconsistency entailmentInference) { final ClassInconsistency conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlThing()); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getOwlNothing()); return null; }
@Override public Void visit( final OwlThingInconsistencyEntailsOntologyInconsistency entailmentInference) { final ClassInconsistency conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlThing()); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getOwlNothing()); return null; }