org.semanticweb.owlapi.util

Class ObjectPropertySimplifier

java.lang.Object

org.semanticweb.owlapi.util.ObjectPropertySimplifier

public class ObjectPropertySimplifier
extends Object

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)

Author:

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

Constructor Summary

Constructors

Constructor and Description
ObjectPropertySimplifier(OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method and Description
OWLObjectPropertyExpression	getSimplified(OWLObjectPropertyExpression prop) Gets an object property expression in its simplest form.

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectPropertySimplifier

public ObjectPropertySimplifier(OWLDataFactory dataFactory)

Parameters:

dataFactory - datafactory to use

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.