Examples of OWLObjectPropertyExpression

org.semanticweb.owl.model.OWLObjectPropertyExpression
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
org.semanticweb.owlapi.model.OWLObjectPropertyExpression
@author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owl.model.OWLObjectPropertyExpression

        return !isAnonymous(object);
    }




    public void handleTriple(URI subject, URI predicate, URI object) throws OWLException {
        OWLObjectPropertyExpression prop = translateObjectProperty(subject);
        OWLDescription domain = translateDescription(subject);
        addAxiom(getDataFactory().getOWLObjectPropertyDomainAxiom(prop, domain));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLSubPropertyChainOfAxiom ax) {
        OWLObjectPropertyExpression pEx = ax.getSuperProperty();
        if (pEx.isAnonymous()) {
            error(ax, false);
            return;
        }
        OWLObjectProperty p = pEx.asOWLObjectProperty();
        Frame f = getTypedefFrame(p);
        if (p.isBottomEntity() || p.isTopEntity()) {
            error("Property chains using Top or Bottom entities are not supported in OBO.",
                    ax, false);
            return;
        }
        List<OWLObjectPropertyExpression> list = ax.getPropertyChain();
        if (list.size() != 2) {
            error(ax, false);
            return;
        }
        OWLObjectPropertyExpression exp1 = list.get(0);
        OWLObjectPropertyExpression exp2 = list.get(1);
        if (exp1.isBottomEntity() || exp1.isTopEntity()
                || exp2.isBottomEntity() || exp2.isTopEntity()) {
            error("Property chains using Top or Bottom entities are not supported in OBO.",
                    ax, false);
            return;
        }
        String rel1 = getIdentifier(exp1);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLTransitiveObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_TRANSITIVE.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLReflexiveObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_REFLEXIVE.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLInverseFunctionalObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_INVERSE_FUNCTIONAL.getTag(),
                        Boolean.TRUE, ax.getAnnotations())) {
            return;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLInverseObjectPropertiesAxiom ax) {
        OWLObjectPropertyExpression prop1 = ax.getFirstProperty();
        OWLObjectPropertyExpression prop2 = ax.getSecondProperty();
        if (prop1 instanceof OWLObjectProperty
                && prop2 instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop1,
                        OboFormatTag.TAG_INVERSE_OF.getTag(),
                        getIdentifier(prop2), ax.getAnnotations())) {

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLObjectPropertyDomainAxiom ax) {
        OWLClassExpression domain = ax.getDomain();
        OWLObjectPropertyExpression propEx = ax.getProperty();
        if (propEx.isAnonymous()) {
            error(ax, true);
            return;
        }
        OWLObjectProperty prop = propEx.asOWLObjectProperty();
        if (domain.isBottomEntity() || domain.isTopEntity()) {
            // at least get the type def frame
            getTypedefFrame(prop);
            // now throw the error
            error("domains using top or bottom entities are not translatable to OBO.",

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLAsymmetricObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_ASYMMETRIC.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLSymmetricObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_SYMMETRIC.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

     * 
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLFunctionalObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_FUNCTIONAL.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;

View Full Code Here

0 1 2 3 4 5

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.