Examples of org.semanticweb.owlapi.util.ObjectPropertySimplifier

org.semanticweb.owlapi.util.ObjectPropertySimplifier
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, InformationManagement Group @since 2.2.0


    @Nonnull
    @Override
    public OWLObjectPropertyExpression getSimplified() {
        if (simplestForm == null) {
            ObjectPropertySimplifier simplifier = new ObjectPropertySimplifier(
                    new OWLDataFactoryImpl());
            simplestForm = simplifier.getSimplified(this);
        }
        return verifyNotNull(simplestForm);
    }

View Full Code Here

    }




    public OWLObjectPropertyExpression getSimplified() {
        if (simplestForm == null) {
            ObjectPropertySimplifier simplifier = new ObjectPropertySimplifier(getOWLDataFactory());
            simplestForm = simplifier.getSimplified(this);
        }
        return simplestForm;
    }

View Full Code Here

    }




    public OWLObjectPropertyExpression getSimplified() {
        if (simplestForm == null) {
            ObjectPropertySimplifier simplifier = new ObjectPropertySimplifier(getOWLDataFactory());
            simplestForm = simplifier.getSimplified(this);
        }
        return simplestForm;
    }

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.util.ObjectPropertySimplifier

uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyExpressionImpl

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.