openllet.OpenlletUnsatisfiable 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 java.util.Iterator;
import java.util.Set;
import java.util.TreeSet;
import openllet.aterm.ATermAppl;
import openllet.core.KnowledgeBase;
import openllet.core.OpenlletOptions;
import openllet.core.utils.Comparators;
import openllet.core.utils.QNameProvider;
import openllet.core.utils.progress.ProgressMonitor;

/**
 * 
 * Copyright: Copyright (c) 2008
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 *
 * @author Markus Stocker
 */
public class OpenlletUnsatisfiable extends OpenlletCmdApp
{

	public OpenlletUnsatisfiable()
	{
		super();
	}

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

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

		final QNameProvider qnames = new QNameProvider();
		final Set unsatisfiableClasses = new TreeSet<>(Comparators.stringComparator);

		final ProgressMonitor monitor = OpenlletOptions.USE_CLASSIFICATION_MONITOR.create();
		monitor.setProgressTitle("Finding unsatisfiable");
		monitor.setProgressLength(kb.getClasses().size());

		startTask("find unsatisfiable");
		monitor.taskStarted();

		final Iterator i = kb.getClasses().iterator();
		while (i.hasNext())
		{
			monitor.incrementProgress();
			final 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 (final String c : unsatisfiableClasses)
				output(c);
		}
	}

}