List of asOWLDataProperty() Examples

Examples of asOWLDataProperty()

org.semanticweb.owlapi.model.OWLDataProperty.asOWLDataProperty()
org.semanticweb.owlapi.model.OWLDataPropertyExpression.asOWLDataProperty()
If the property is a named data property then this method will obtain the property as such. The general pattern of use is that the {@code isAnonymous} method should first be used to determine if theproperty is named (i.e. not an object property expression such as inv(p)). If the property is named then this method may be used to obtain the property as a named property without casting. @return The property as an {@code OWLDataProperty} if possible. @throws OWLRuntimeException if the property is not a named property.

Examples of org.semanticweb.owlapi.model.OWLDataProperty.asOWLDataProperty()

        Set<OWLDataPropertyExpression> props=axiom.getProperties();
        Iterator<OWLDataPropertyExpression> it=props.iterator();
        if (it.hasNext()) {
            OWLDataProperty prop1=it.next().asOWLDataProperty();
            while (it.hasNext()) {
                if (!reasoner.isEquivalentDataProperty(prop1.asOWLDataProperty(),it.next().asOWLDataProperty()))
                    return Boolean.FALSE;
            }
        }
        return Boolean.TRUE;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression.asOWLDataProperty()

            }


            public void visit(OWLDataHasValue e) {
                OWLDataPropertyExpression dpe = e.getProperty();
                // TODO: consider the case where dpe is anonymous
                OWLDataProperty dp = dpe.asOWLDataProperty();
                OWLLiteral l = e.getValue();
                OWLDatatype type = l.getDatatype();


                checkInconsistentProperty(dp, type);

View Full Code Here

TOP

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.