pellet.PelletConsistency Maven / Gradle / Ivy

Go to download

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

The newest version!

// 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 pellet;

import org.mindswap.pellet.KnowledgeBase;

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

	public PelletConsistency() {
	}

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

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

	@Override
	public PelletCmdOptions getOptions() {
		PelletCmdOptions options = getGlobalOptions();
		
		options.add( getLoaderOption() );
		options.add( getIgnoreImportsOption() );
		options.add( getInputFormatOption() );
		
		return options;
	}

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

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

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

}