Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression


            getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(),
                    OWL_RESTRICTION.getIRI());
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_SOME_VALUES_FROM, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
View Full Code Here


                if (objectPropertyIRI == null) {
                    throw new OWLRuntimeException(
                            "Don't know how to translate SWRL Atom: object property IRI is null "
                                    + firstObject);
                }
                OWLObjectPropertyExpression prop = consumer
                        .translateObjectPropertyExpression(objectPropertyIRI);
                return dataFactory.getSWRLObjectPropertyAtom(prop, arg1, arg2);
            } else if (consumer.isSWRLSameAsAtom(firstObject)) {
                SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject,
                        ARGUMENT_1.getIRI());
View Full Code Here

        return SubPropertyChainOf(props, ObjectProperty(iri("r")), annos);
    }

    @Test
    public void testCompareRoleChains() {
        OWLObjectPropertyExpression p = df.getOWLObjectProperty(IRI.create(
                "_:", "p"));
        OWLObjectPropertyExpression q = df.getOWLObjectProperty(IRI.create(
                "_:", "q"));
        OWLObjectPropertyExpression r = df.getOWLObjectProperty(IRI.create(
                "_:", "r"));
        OWLSubPropertyChainOfAxiom ax1 = df.getOWLSubPropertyChainOfAxiom(
                Lists.newArrayList(p, q), r);
        OWLSubPropertyChainOfAxiom ax2 = df.getOWLSubPropertyChainOfAxiom(
                Lists.newArrayList(p, p), r);
View Full Code Here

@SuppressWarnings("javadoc")
public class BuiltInPropertyTestCase extends TestBase {

    @Test
    public void testTopObjectPropertyPositive() {
        OWLObjectPropertyExpression prop = df.getOWLTopObjectProperty();
        assertTrue(prop.isOWLTopObjectProperty());
    }
View Full Code Here

        assertTrue(prop.isOWLTopObjectProperty());
    }

    @Test
    public void testBottomObjectPropertyPositive() {
        OWLObjectPropertyExpression prop = df.getOWLBottomObjectProperty();
        assertTrue(prop.isOWLBottomObjectProperty());
    }
View Full Code Here

        assertTrue(prop.isOWLBottomObjectProperty());
    }

    @Test
    public void testTopObjectPropertyNegative() {
        OWLObjectPropertyExpression prop = ObjectProperty(iri("prop"));
        assertFalse(prop.isOWLTopObjectProperty());
    }
View Full Code Here

        assertFalse(prop.isOWLTopObjectProperty());
    }

    @Test
    public void testBottomObjectPropertyNegative() {
        OWLObjectPropertyExpression prop = ObjectProperty(iri("prop"));
        assertFalse(prop.isOWLBottomObjectProperty());
    }
View Full Code Here

        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();
        OWLObjectPropertyExpression propQ = getPropQ();
        OWLObjectPropertyExpression propR = getPropR();
        OWLObjectPropertyExpression propS = getPropS();
        man.addAxiom(o, EquivalentObjectProperties(propP, propQ));
        man.addAxiom(o, SubObjectPropertyOf(propP, propR));
        man.addAxiom(o, InverseObjectProperties(propR, propS));
        return o;
    }
View Full Code Here

public class ObjectPropertySimplifierTestCase extends TestBase {

    @Test
    public void testNamedSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression exp = p.getSimplified();
        assertEquals(p, exp);
    }
View Full Code Here

    }

    @Test
    public void testInverseSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression inv = ObjectInverseOf(p);
        OWLObjectPropertyExpression exp = inv.getSimplified();
        assertEquals(inv, exp);
    }
View Full Code Here

TOP

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

Copyright © 2018 www.massapicom. All rights reserved.
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.