Examples of org.semanticweb.owl.util.ObjectPropertySimplifier

org.semanticweb.owl.util.ObjectPropertySimplifier
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)

    }




    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.owl.util.ObjectPropertySimplifier

uk.ac.manchester.cs.owl.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.