Package org.semanticweb.owlapi.util

Class ObjectPropertySimplifier

java.lang.Object

org.semanticweb.owlapi.util.ObjectPropertySimplifier

@Deprecated
public class ObjectPropertySimplifier
extends Object

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.

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	Description
ObjectPropertySimplifier(OWLDataFactory dataFactory)	Deprecated.

Method Summary

Modifier and Type	Method	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.