openllet.examples.RulesExample 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 openllet.jena.PelletReasonerFactory;
import org.apache.jena.ontology.Individual;
import org.apache.jena.ontology.ObjectProperty;
import org.apache.jena.ontology.OntClass;
import org.apache.jena.ontology.OntModel;
import org.apache.jena.rdf.model.ModelFactory;
import org.apache.jena.rdf.model.Property;
import org.apache.jena.rdf.model.RDFNode;
import org.apache.jena.rdf.model.Resource;
import org.apache.jena.util.iterator.ExtendedIterator;

/**
 * An example program that tests the DL-safe rules example from Table 3 in the paper: B. Motik, U. Sattler, R. Studer. Query Answering for OWL-DL with Rules.
 * Proc. of the 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, November, 2004, pp. 549-563
 *
 * @author Evren Sirin
 */
public class RulesExample
{
	public static void main(final String[] args)
	{
		final String ont = "file:src/main/resources/data/dl-safe.owl";
		final String base = "http://owldl.com/ontologies/dl-safe.owl";
		
		final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null);
		model.read(ont);
		

		final ObjectProperty sibling = model.getObjectProperty(base + "#sibling");

		final OntClass BadChild = model.getOntClass(base + "#BadChild");
		final OntClass Child = model.getOntClass(base + "#Child");
		
		final Individual Abel = model.getIndividual(base + "#Abel");
		final Individual Cain = model.getIndividual(base + "#Cain");
		final Individual Remus = model.getIndividual(base + "#Remus");
		final Individual Romulus = model.getIndividual(base + "#Romulus");

		model.prepare();

		// Cain has sibling Abel due to SiblingRule
		printPropertyValues(Cain, sibling); // FIXME : java.lang.NullPointerException
		// Abel has sibling Cain due to SiblingRule and rule works symmetric
		printPropertyValues(Abel, sibling);
		// Remus is not inferred to have a sibling because his father is not
		// known
		printPropertyValues(Remus, sibling);
		// No siblings for Romulus for same reasons
		printPropertyValues(Romulus, sibling);

		// Cain is a BadChild due to BadChildRule
		printInstances(BadChild);
		// Cain is a Child due to BadChildRule and ChildRule2
		// Oedipus is a Child due to ChildRule1 and ChildRule2 combined with the
		// unionOf type
		printInstances(Child);
	}

	@SuppressWarnings("unchecked")
	public static void printPropertyValues(final Individual ind, final Property prop)
	{
		System.out.print(ind.getLocalName() + " has " + prop.getLocalName() + "(s): ");
		final ExtendedIterator rsc = ind.listPropertyValues(prop);
		@SuppressWarnings("rawtypes")
		final ExtendedIterator rsc2 = (ExtendedIterator) rsc; //  Resource extends RDFNode 
		printIterator(rsc2);
	}

	public static void printInstances(final OntClass cls)
	{
		System.out.print(cls.getLocalName() + " instances: ");
		printIterator(cls.listInstances());
	}

	public static void printIterator(final ExtendedIterator i)
	{
		if (!i.hasNext())
			System.out.print("none");
		else
			while (i.hasNext())
			{
				final Resource val = i.next();
				System.out.print(val.getLocalName());
				if (i.hasNext())
					System.out.print(", ");
			}
		System.out.println();
	}
}