openllet.examples.IncrementalClassifierExample Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of openllet-examples Show documentation
Examples of Openllet Usage
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.examples;

import java.util.stream.Collectors;
import openllet.core.utils.Timer;
import openllet.core.utils.Timers;
import openllet.modularity.IncrementalClassifier;
import openllet.owlapi.OWL;
import org.semanticweb.owlapi.model.AddAxiom;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.RemoveAxiom;

/**
 * 
 * Title: IncrementalClassifierExample
 * 
 * 
 * Description: This programs shows the usage and performance of the incremental classifier
 * 
 * 
 * Copyright: Copyright (c) 2008
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 *
 * @author Markus Stocker
 */
public class IncrementalClassifierExample
{

	// The ontology we use for classification
	private static final String file = "file:src/main/resources/data/simple-galen.owl";
	// Don't modify this
	private static final String NS = "http://www.co-ode.org/ontologies/galen#";

	public void run() throws OWLOntologyCreationException
	{
		// Load the ontology file into an OWL ontology object
		final OWLOntology ontology = OWL._manager.loadOntology(IRI.create(file));

		// Get some entities
		final OWLClass headache = OWL.Class(NS + "Headache");
		final OWLClass pain = OWL.Class(NS + "Pain");

		// Get an instance of the incremental classifier
		final IncrementalClassifier classifier = new IncrementalClassifier(ontology);

		// We need some timing to show the performance of the classification
		final Timers timers = new Timers();

		// We classify the ontology and use a specific timer to keep track of
		// the time required for the classification
		Timer t = timers.createTimer("First classification");
		t.start();
		classifier.classify();
		t.stop();

		System.out.println("\nClassification time: " + t.getTotal() + "ms");
		System.out.println("Subclasses of " + pain + ": " + classifier.getSubClasses(pain, true).entities().map(OWLClass::toString).collect(Collectors.joining(",")) + "\n");

		// Now create a new OWL axiom, subClassOf(Headache, Pain)
		final OWLAxiom axiom = OWL.subClassOf(headache, pain);

		// Add the axiom to the ontology, which creates a change event
		OWL._manager.applyChange(new AddAxiom(ontology, axiom));

		// Now we create a second timer to keep track of the performance of the
		// second classification
		t = timers.createTimer("Second classification");
		t.start();
		classifier.classify();
		t.stop();

		System.out.println("\nClassification time: " + t.getTotal() + "ms");
		System.out.println("Subclasses of " + pain + ": " + classifier.getSubClasses(pain, true).entities().map(OWLClass::toString).collect(Collectors.joining(",")) + "\n");

		// Remove the axiom from the ontology, which creates a change event
		OWL._manager.applyChange(new RemoveAxiom(ontology, axiom));

		// Now we create a third timer to keep track of the performance of the
		// third classification
		timers.startTimer("Third classification");
		classifier.classify();
		timers.stopTimer("Third classification");

		System.out.println("\nClassification time: " + t.getTotal() + "ms");
		System.out.println("Subclasses of " + pain + ": " + classifier.getSubClasses(pain, true).entities().map(OWLClass::toString).collect(Collectors.joining(",")) + "\n");

		// Finally, print the timing. As you can see, the second classification
		// takes significantly less time, which is the characteristic of the
		// incremental classifier.
		System.out.println("Timers summary");
		for (final Timer timer : timers.getTimers())
			if (!timer.isStarted())
				System.out.println(timer.getName() + ": " + timer.getTotal() + "ms");
	}

	public static void main(final String[] args) throws OWLOntologyCreationException
	{
		final IncrementalClassifierExample app = new IncrementalClassifierExample();
		app.run();
	}

}