Examples of org.semanticweb.owlapi.model.OWLObjectInverseOf

org.semanticweb.owlapi.model.OWLObjectInverseOf
3.org/TR/owl2-syntax/#Inverse_Object_Properties" >ObjectInverseOf Represents the inverse of a property expression. This can be used to refer to the inverse of a property, without actually naming the property. For example, consider the property hasPart, the inverse property of hasPart (isPartOf) can be referred to using this interface inverseOf(hasPart), which can be used in restrictions e.g. inverseOf(hasPart) some Car refers to the set of things that are part of at least one car. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    }


    @Test
    public void shouldBuildObjectInverseOf() {
        // given
        OWLObjectInverseOf expected = df.getOWLObjectInverseOf(op);
        BuilderObjectInverseOf builder = new BuilderObjectInverseOf(expected,
                df);
        // when
        OWLObject built = builder.buildObject();
        // then

View Full Code Here

                return factory.getOWLSubObjectPropertyOfAxiom(lhs, rhs);
            } else if (jj_2_21(5)) {
                jj_consume_token(EQUIVALENTTO);
                rhs = parseObjectPropertyId();
                if (rhs instanceof OWLObjectInverseOf) {
                    OWLObjectInverseOf inv = (OWLObjectInverseOf) rhs;
                    return factory.getOWLInverseObjectPropertiesAxiom(lhs,
                            inv.getInverse());
                }
                return factory
                        .getOWLEquivalentObjectPropertiesAxiom(CollectionFactory
                                .createSet(lhs, rhs));
            } else if (jj_2_22(5)) {

View Full Code Here

    public OWLObjectPropertyAssertionAxiom getSimplified() {
        if (!getProperty().isAnonymous()) {
            return this;
        }
        else {
            OWLObjectInverseOf property = (OWLObjectInverseOf) getProperty();
            OWLObjectPropertyExpression invProp = property.getInverse();
            return getOWLDataFactory().getOWLObjectPropertyAssertionAxiom(invProp, getObject(), getSubject());
        }
    }

View Full Code Here

            {if (true) return factory.getOWLSubObjectPropertyOfAxiom(lhs, rhs);}
      } else if (jj_2_21(5)) {
        jj_consume_token(EQUIVALENTTO);
        rhs = parseObjectPropertyId();
            if(rhs instanceof OWLObjectInverseOf) {
                OWLObjectInverseOf inv = (OWLObjectInverseOf) rhs;
                {if (true) return factory.getOWLInverseObjectPropertiesAxiom(lhs, inv.getInverse());}
            }
            {if (true) return factory.getOWLEquivalentObjectPropertiesAxiom(CollectionFactory.createSet(lhs, rhs));}
      } else if (jj_2_22(5)) {
        jj_consume_token(IN);
        jj_consume_token(TRANSITIVEROLES);

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.model.OWLObjectInverseOf

org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParser

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyAssertionAxiomImpl

uk.ac.manchester.cs.owlapi.dlsyntax.parser.DLSyntaxParser

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.