org.semanticweb.owl.util
Class ObjectPropertySimplifier

java.lang.Object
  org.semanticweb.owl.util.ObjectPropertySimplifier

public class ObjectPropertySimplifier
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008

This utility class can be used to obtain an object property expression in its simplest form. Let P be an object property name and PE a property expression, then the simplification is inductively defined as: simp(P) = P simp(inv(P)) = inv(P) simp(inv(inv(PE)) = simp(PE)

Constructor Summary

ObjectPropertySimplifier(OWLDataFactory dataFactory)

Method Summary

OWLObjectPropertyExpression

getSimplified(OWLObjectPropertyExpression prop) Gets an object property expression in its simplest form.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjectPropertySimplifier

public ObjectPropertySimplifier(OWLDataFactory dataFactory)

Method Detail

getSimplified

public OWLObjectPropertyExpression getSimplified(OWLObjectPropertyExpression prop)

Gets an object property expression in its simplest form.

Parameters:

prop - The object property expression to be simplified.

Returns:

The simplest form of the object property expression.