pellet.PelletUnsatisfiable 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 java.util.Iterator;
import java.util.Set;
import java.util.TreeSet;

import org.mindswap.pellet.KnowledgeBase;
import org.mindswap.pellet.PelletOptions;
import org.mindswap.pellet.utils.Comparators;
import org.mindswap.pellet.utils.QNameProvider;
import org.mindswap.pellet.utils.progress.ProgressMonitor;

import aterm.ATermAppl;

/**
 * 
 * Title: PelletClassify
 * 
 * 
 * Description:
 * 
 * 
 * Copyright: Copyright (c) 2008
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 * 
 * @author Markus Stocker
 */
public class PelletUnsatisfiable extends PelletCmdApp {

	public PelletUnsatisfiable() {
		super( );
	}

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

	@Override
	public String getAppId() {
		return "PelletUnsatisfiable: Find the unsatisfiable classes in the 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 )
			throw new PelletCmdException( "Ontology is inconsistent, run \"pellet explain\" to get the reason" );

		QNameProvider qnames = new QNameProvider();
		Set unsatisfiableClasses = new TreeSet( Comparators.stringComparator );
		
		ProgressMonitor monitor = PelletOptions.USE_CLASSIFICATION_MONITOR.create();
		monitor.setProgressTitle( "Finding unsatisfiable" );
		monitor.setProgressLength( kb.getClasses().size() );
		
		startTask( "find unsatisfiable" );
		monitor.taskStarted();
		
		Iterator i = kb.getClasses().iterator();
		while( i.hasNext() ) {
			monitor.incrementProgress();
			ATermAppl c = i.next();
			if( !kb.isSatisfiable( c ) ) {
				unsatisfiableClasses.add( qnames.shortForm( c.getName() ) );
			}
		}
		
		monitor.taskFinished();
		finishTask( "find unsatisfiable" );
		
		output("");
		if( unsatisfiableClasses.isEmpty() ) {
			output( "Found no unsatisfiable concepts." );			
		}
		else {
			output( "Found " + unsatisfiableClasses.size() + " unsatisfiable concept(s):" );
			
			for( String c : unsatisfiableClasses ) {
				output( c );
			}
		}
	}

}