openllet.OpenlletConsistency Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of openllet-cli Show documentation

There is a newer version: 2.6.5

// Copyright (c) 2006 - 2008, Clark & Parsia, LLC. 
// This source code is available under the terms of the Affero General Public
// License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of
// proprietary exceptions.
// Questions, comments, or requests for clarification: [email protected]

package openllet;

import openllet.core.KnowledgeBase;

/**
 * 
 * Description: Check the consistency of an ontology
 * 
 * 
 * Copyright: Copyright (c) 2008
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 *
 * @author Markus Stocker
 */
public class OpenlletConsistency extends OpenlletCmdApp
{

	public OpenlletConsistency()
	{
	}

	@Override
	public String getAppCmd()
	{
		return "openllet consistency " + getMandatoryOptions() + "[options] ...";
	}

	@Override
	public String getAppId()
	{
		return "OpenlletConsistency: Check the consistency of an ontology";
	}

	@Override
	public OpenlletCmdOptions getOptions()
	{
		final OpenlletCmdOptions options = getGlobalOptions();

		options.add(getLoaderOption());
		options.add(getIgnoreImportsOption());
		options.add(getInputFormatOption());

		return options;
	}

	@Override
	public void run()
	{
		final KnowledgeBase kb = getKB();

		startTask("consistency check");
		final boolean isConsistent = kb.isConsistent();
		finishTask("consistency check");

		if (isConsistent)
			output("Consistent: Yes");
		else
		{
			output("Consistent: No");
			output("Reason: " + kb.getExplanation());
		}
	}

}