org.semanticweb.owlapi.util

Class ObjectPropertySimplifier

java.lang.Object

org.semanticweb.owlapi.util.ObjectPropertySimplifier

Deprecated.

Legal Object property expressions should always be irreducible - the standard specifies that inv : P -> PE , not PE -> PE, so inv (inv P) is an error . Versions of the OWLAPI prior to 4.1.0 did not check for this.

@Deprecated
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)

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
ObjectPropertySimplifier(OWLDataFactory dataFactory) Deprecated.

Method Summary

Modifier and Type	Method and Description
OWLObjectPropertyExpression	getSimplified(OWLObjectPropertyExpression prop) Deprecated. 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(@Nonnull
                                OWLDataFactory dataFactory)

Deprecated.

Parameters:

dataFactory - datafactory to use

Method Detail

getSimplified

@Nonnull
public OWLObjectPropertyExpression getSimplified(@Nonnull
                                                          OWLObjectPropertyExpression prop)

Deprecated.

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.