org.semanticweb.elk.owl.inferences.ElkInferenceDummyVisitor Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of elk-proofs Show documentation
Utilities to present tracing results (encoded proofs) to the user
There is a newer version: 0.36.0
/*
 * #%L
 * ELK Proofs Package
 * $Id:$
 * $HeadURL:$
 * %%
 * Copyright (C) 2011 - 2016 Department of Computer Science, University of Oxford
 * %%
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *      http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * #L%
 */
package org.semanticweb.elk.owl.inferences;

/**
 * A {@link ElkInference.Visitor} that always returns {@code null}. Can be used
 * as prototype of other visitors by overriding the default visit method.
 * 
 * @author Yevgeny Kazakov
 *
 * @param 
 *            the type of the output
 */
public class ElkInferenceDummyVisitor implements ElkInference.Visitor {

	protected O defaultVisit(ElkInference inference) {
		return null;
	}

	@Override
	public O visit(final ElkClassAssertionOfClassInclusion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionEmptyObjectOneOfOwlNothing inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionEmptyObjectUnionOfOwlNothing inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialComposition inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialFillerExpansion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialOfObjectHasSelf inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialOwlNothing inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialPropertyExpansion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialRange inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionExistentialTransitivity inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionHierarchy inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionNegationClash inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionObjectIntersectionOfComposition inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(
			ElkClassInclusionObjectIntersectionOfDecomposition inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionObjectIntersectionOfInclusion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionObjectOneOfInclusion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionObjectUnionOfComposition inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfClassAssertion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfDisjointClasses inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfEquivaletClasses inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfObjectPropertyAssertion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfObjectPropertyDomain inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOfReflexiveObjectProperty inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkClassInclusionOwlBottomObjectProperty inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOwlNothing inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionOwlThing inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkClassInclusionOwlTopObjectProperty inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(
			ElkClassInclusionOwlThingEmptyObjectIntersectionOf inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionReflexivePropertyRange inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(
			ElkClassInclusionSingletonObjectUnionOfDecomposition inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionTautology inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkClassInclusionTopObjectHasValue inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkDifferentIndividualsOfDisjointClasses inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(
			final ElkDisjointClassesIntersectionInconsistencies inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkDisjointClassesOfDifferentIndividuals inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkDisjointClassesOfDisjointUnion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkEquivalentClassesCycle inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkEquivalentClassesObjectHasValue inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkEquivalentClassesObjectOneOf inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkEquivalentClassesOfDisjointUnion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkEquivalentClassesOfSameIndividual inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkObjectPropertyAssertionOfClassInclusion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkObjectPropertyDomainOfClassInclusion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkPropertyInclusionHierarchy inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkPropertyInclusionOfEquivalence inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkPropertyInclusionOfTransitiveObjectProperty inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkPropertyInclusionTautology inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkPropertyRangePropertyExpansion inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(ElkToldAxiom inference) {
		return defaultVisit(inference);
	}

	@Override
	public O visit(final ElkSameIndividualOfEquivalentClasses inference) {
		return defaultVisit(inference);
	}

}