Examples of OWLObjectPropertyExpression

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
        public OWLObjectExactCardinality translate(IRI mainNode) {
            int cardi = translateInteger(mainNode, OWL_QUALIFIED_CARDINALITY);
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
            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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
                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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
        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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

28
29
30
31
32
33
34
35
@SuppressWarnings("javadoc")
public class BuiltInPropertyTestCase extends TestBase {

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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

34
35
36
37
38
39
40
41
        assertTrue(prop.isOWLTopObjectProperty());
    }

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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

40
41
42
43
44
45
46
47
        assertTrue(prop.isOWLBottomObjectProperty());
    }

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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

46
47
48
49
50
51
52
53
        assertFalse(prop.isOWLTopObjectProperty());
    }

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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

71
72
73
74
75
76
77
78
79
80
81
82
83
84
        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

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

29
30
31
32
33
34
35
36
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
TOP
Copyright © 2018 www.massapi.com. 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.